代数的整数論 - 暇つぶし2ch

代数的整数論 at MATH

569:208
05/10/27 10:37:05
>>567 では有限生成イデアル (a, b) が単項となりことを使ったが、
Z では任意のイデアル I が単項となる。

証明
I に含まれる最小の正数をa とすると、b ∈ I なら、
b = aq + r, 0 ≦ r < a となる q, r ∈ Z がある。
r ∈ I だから a の最小性より r = 0
よって、I = (r) となる。
証明終

次ページ

続きを表示

1を表示