No.1ベストアンサー
- 回答日時:
以下の証明で理解できたかどうか教えて下さい。
-----------------------------------------------------------------------
P,Qは零でない素イデアルとする。
デデキント環では零でない素イデアルは極大イデアルである。(★)
P+Q⊃P
PとQは異なるため、P+Q≠P
よってPの極大性から、P+Q=D
したがってPとQは互に素である。
(★)の証明
Dの零でないイデアルSに対しSを含む極大イデアルMが存在し、極大イデアルならば素イデアルである。デデキント環の性質からS=MIとなるイデアルIが存在し、Iは有限個の素イデアルに分解できる。素イデアル分解の一意性よりS=Mが従う。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 素イデアル 1 2023/07/22 16:12
- 数学 素イデアルに関する証明 2 2023/01/15 20:26
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 環論の素元について 6 2022/05/09 04:04
- 環境・エネルギー資源 球環境悪化による地球温暖化は、本当に不都合な真実で現実に起きているのでしょうか 1 2022/05/28 15:10
- 環境・エネルギー資源 地球環境悪化による地球温暖化は、本当に不都合な真実で現実に起きているのでしょうか 3 2022/05/28 15:23
- 化学 ベンゼン環のCの混成軌道について質問です。 参考書にベンゼン環の一重結合と二重結合について以下の様に 0 2023/03/22 12:25
- 数学 二次体K=Q(√-31)について、整数環O_Kにはノルムが3となるイデアルは存在しないことを示せ。 4 2022/12/02 22:47
- 数学 単純環 1 2023/06/18 00:53
- 数学 1=0 の意味を、教えてください。 1=0 だとすると, A の要素は0だけであることが証明されて 4 2022/08/06 23:35
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
AとBはn次正方行列とする。 積A...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
ファルコンの定理は解かれまし...
-
演算子法なににつかう
-
至上最難問の数学がとけた
-
そもそも、ピタゴラスの定理っ...
-
パップスギュルダンの定理について
-
45^53(mod89)の簡単な求め方が...
-
整数問題の証明について教えて...
-
直角三角形じゃないのに三平方...
-
定義・定理・公理・証明について
-
奇数次の代数方程式
-
【遊びのピタゴラスイッチはな...
-
立体の問題です
-
原始根をつかって合同式を解く...
-
2次偏導関数について
-
マクローリンの展開式より 0<θ<...
-
拡張ユークリッド互除法による...
-
東大編入問題です。 この(3)の...
-
3点が一直線上である証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
AとBはn次正方行列とする。 積A...
-
演算子法なににつかう
-
lim[x→+∞](x^n/e^x)=0 の証明
-
2^220を221で割った時の余りを...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
実数の整列化について
-
至上最難問の数学がとけた
-
定理と法則の違い
-
Sku
-
△ABCの∠Aの2等分線と辺BCとの交...
-
三角形の3辺の長さの性質の証明
-
三角関数を用いて地球の大きさ...
-
二次合同式の解き方
-
ピタゴラス数について。
-
長さがマイナスの答えのとき、...
-
マクローリンの定理でのθが含ま...
-
パップスギュルダンの定理について
-
ファルコンの定理は解かれまし...
おすすめ情報