- 136 名前：Kummer ◆g2BU0D6YN2 [2006/12/04(月) 20:20:49 ]
- >>132 と >>135 より a = Πp^n をノルムとするイデアル I は
(n)ΠI_p の形になる。
ここで n はある有理整数であり、 I_p は原始イデアルで、
そのノルムは p のべきである。
>>121 より ΠI_p は原始イデアルあり、その標準基底も求まる。
ΠI_p = [s, r + ω] とすれば
I = (n)[s, r + ω] = [ns, nr + nω] となる。
これが a をノルムとするイデアル I の標準基底による表示である。
|
 |
