[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む14 [転載禁止]©2ch.net (562ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

538(2): １３２人目の素数さん [sage] 2015/08/13(木) 11:02:53.88 ID:HolOcI9x(1) AAS
>>536(>>531)
Rをユークリッド整域とする。Rの零元を0で表わす。RのI≠(0)なるイデアルIを任意に取る。
Iのa≠0なる元aをδ(a)(RのR∖{0}への制限δは、δ:R∖{0}→N)が最小なるように取る。
b∈Iを任意に固定する。Rはユークリッド整域であり、Nは自然数全体だから、
ユークリッド整域の定義から、両方共に或るq,r∈Rが存在してb＝qa+r、r≠0またはδ(r)＜δ(a)。
しかし、r≠0とするとδ(r)＜δ(a)となり、r＝b-qa∈Iだから、δ(a),a∈I＼{0}が最小と仮定したことに反する。
従って、r＝0であって、δ(r)は定義されず、b＝qa+r＝qa+0＝qaを得る。
aが生成する単項イデアル(a)は両側イデアルで、qa∈(a)だから、b∈(a)。
Iの元bは任意だったから、I⊂(a)。ここで、仮定から、I⊃(a)。従って、I＝(a)。
RのI≠(0)なるイデアルIは任意に取っていたから、Rの任意のイデアルは単項イデアルである。
従って、定義から、ユークリッド整域は単項イデアル整域である。

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.026s