No.2ベストアンサー
- 回答日時:
単位元がない環の場合、次が反例になりそうです:
gを2以上の整数として、
A = B = gZ (gで割り切れる整数全体)
K = <(g, g)> ((g, g)で生成されるイデアル)
Kは、次のように書くこともできます:
[1] K = {(a, b) | a≡b≡0 mod g, a≡b mod g^2 }
もし、K = I×Jなら、
[2] I = { a | (a, 0)∈K }
J = { b | (0, b)∈K }
なので、[1]により、
I = (g^2)Z
J = (g^2)Z
(g^2で割り切れる整数全体)
でなければなりません。すると、I×Jに(g, g)が含まれないことになり、矛盾です。
[1]と[2]は、それほど自明でないかもしれませんが、証明できると思います。
この回答へのお礼
お礼日時:2011/03/02 15:59
常に成り立つだろうと思っていたのですが、単位元が存在しない場合は反例が存在したのですね。
丁寧に書いてくださって大変よくわかりました。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 素イデアルに関する証明 2 2023/01/15 20:26
- 数学 全射の証明について 3 2023/08/26 14:06
- 数学 Ac:={bc│bc∈A}が左イデアルであることを示せ。 3 2023/01/24 17:00
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 イデアルの核について 1 2023/01/15 20:15
- 数学 二次体K=Q(√-31)について、整数環O_Kにはノルムが3となるイデアルは存在しないことを示せ。 4 2022/12/02 22:47
- 数学 素イデアル 1 2023/07/22 16:12
- 数学 既約元であることの証明 1 2023/01/15 20:11
- 数学 単純環 1 2023/06/18 00:53
- 数学 単位元について 2 2022/09/11 22:56
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
無理数って二乗しても有理数に...
-
なぜ独身だと養子が持てないの...
-
夫が亡くなった後の義理家族と...
-
兄弟の子どもの養子縁組は可能...
-
高校数学の証明について質問で...
-
婿養子です、妻と離婚して妻の...
-
次元定理以外で
-
四葉のクローバー この言葉一度...
-
「・・・のとき」という言葉の...
-
一様連続の証明
-
√nが有理数ならばnが整数 証明 ...
-
「一般性を失うことはない・・...
-
lim[n→∞]an/bn=a/bの証明法を教...
-
無理数には、任意の有限個の数...
-
実息とは?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報