- 602 名前：Kummer ◆g2BU0D6YN2 [2007/02/05(月) 12:09:17 ]
- 命題
>>600 の写像 Φ+ は全射である。
証明
I(R)/P(R) の各類の代表として原始イデアルが取れる。
I = [a, b + fω] を R の可逆な原始イデアルの標準基底による
表示とする。
>>589 より判別式 D の２次形式 ax^2 + bxy + cy^2 があり、
r + fω = (-b + √D)/2 となる。
I は可逆だから >>592 より ax^2 + bxy + cy^2 は原始的である。
証明終
|
 |
