- 254 名前：Kummer ◆g2BU0D6YN2 [2007/05/03(木) 23:15:20 ]
- R = [1, fω] を２次体 Q(√m) の整環とし、D をその判別式とする。
Qd = { (-b + √D)/2a ; a ＞ 0, D ≡ b^2 (mod 4a) } とおいた(>>214)。
Qd の元で原始的(>>221)なもの全体を Qd_0 と書いた(>>223)。
即ち
Qd_0 = { (-b + √D)/2a ∈ Qd ; gcd(a, b, (b^2 - D)/4a) = 1 }
θ = (-b + √D)/2a ∈ Qd_0 のとき
過去スレ４の592より [a, (-b + √D)/2] は R の可逆イデアルである。
g(θ) を [a, (-b + √D)/2] の属す Cl+(D) (>>227) の類とする。
ただし、D ＜ 0 のときは Cl+(D) は Cl(D) を意味するとする。
σ ∈ SL_2(Z) のとき g(σθ) = g(θ) を示そう。
過去スレ４の269より
SL_2(Z) は S = (1, 1)/(0, 1) と T = (0, -1)/(1, 0) で生成される。
従って
g(Sθ) = g(θ) と g(Tθ) = g(θ) を証明すればよい。
|
 |
