>>818
ちょっとうさぎ、あなた間違ってるわよ。
あたしもくどいようだけど考えるモードじゃないから知識だけでものを言うけど、
ℤ[√2]は一意分解整域よ。
ガウスの整数環限定のつもりで書いたことを応用しようとしたのはわかるんだけど、
その応用は違うわ。
同伴の意味をきちんと定義しなかったのがいけなかったのね。
とりあえず今日はもう寝るから明日にでも時間見つけて書こうと思うけど、
もし今夜調べたりする余裕があるなら、可換環の「単元」って言葉の意味を調べてみて。
さらに余裕があれば、可換環の単元全体は乗法群をなすんだけれども、
ℤ[√2]の単元全体のなす群がどんな群なのか調べてみて。
明日早いからごめんなさいね。
おやすみなさい。