 | 自作問題です。iは虚数単位です。 整数a,bがa≡b(mod2)のときg(a,b)=(a+bi)/2と表せる数全体をGとする。 Gは環であるか?
加減算について閉じていることは分かるのですが 乗算について閉じているのか、いないのかが分かりません。
整数c,dがc≡d(mod2)のときg(a,b)*g(c,d)={(ac-bd)+(ad+bc)i}/4ですので ac-bdとad+bcが共に偶数で、(ac-bd)/2と(ad+bc)/2がmod2で合同であれば良いのですが g(a,b)*g(c,d)∈Gを示すことも否定することもできていません。
分かる方がいましたら教えてください。よろしくお願いいたします。
|