- 313 名前：Kummer ◆g2BU0D6YN2 [2006/12/21(木) 10:09:09 ]
- 命題
>>311 の写像 Ψ+ は全射である。
証明
H(D) の任意の類からその代表 θ を取る。
θ は複素上半平面にある判別式 D の２次の無理数である。
aθ^2 + bθ + c = 0 とする。
ここで a, b, c は有理整数で gcd(a, b, c) = 1、a ＞ 0、
b^2 - 4ac = D である。
f = ax^2 + bxy + cy^2 は判別式 D の正定値２次形式である。
f の属す F+(D) の類に θ の属す H(D) の類が対応する。
証明終
