- 148 名前:聴講生 mailto:sage [2006/12/07(木) 00:21:38 ]
- >>146
[2, 1 + √(-5)] のノルムは 2 なので、 これが a + b√(-5) ∈ Z[√(-5)] で生成される 単項イデアルであるとすると、 a^2 + 5b^2 = 2 しかし此れを充たす整数 a, b は存在しないので [2, 1 + √(-5)] は単項イデアルでない。 >>147 任意の素イデアルが単項イデアルであることを示せば充分。 ある素イデアルの生成元の一つを x とし、 x = (x_1)・・・(x_n), x_i は素元 を x の素元分解とすると、x_1〜x_n の少なくとも一つは その素イデアルに含まれるので、素イデアルは素元で生成される。 素元の生成するイデアルは素イデアルであるので、 もとの素イデアルは単項イデアルとなる。
|
|