- 265 名前：Kummer ◆g2BU0D6YN2 [2007/05/04(金) 18:26:44 ]
- Sθ = θ + 1 = (2a - b + √D)/2a
[a, (2a - b + √D)/2] = [a, a + (-b + √D)/2] = [a, (-b + √D)/2]
よって g(Sθ) = g(θ) である。
Tθ = -1/θ = -2a/(-b + √D) = -2a(-b - √D)/4ac = (b + √D)/2c
b^2 - 4ac ＜ 0
b^2 ＜ 4ac
a ＞ 0
だから
c ＞ 0 である。
よって
g(Tθ) = { [c, (b + √D)/2] }
((-b - √D)/2)[a, (-b + √D)/2] = [a(-b - √D)/2, ac]
= a[(b + √D)/2, c]
よって
I = [a, (-b + √D)/2]
J = [c, (b + √D)/2]
とおくと
θ' I = aJ
I = (a/θ')J
よって I と J は Cl(D) の同じ類に属す。
