- 352 名前：Kummer ◆g2BU0D6YN2 [2006/12/24(日) 00:39:31 ]
- [5, 2 + ω] の属す類を C とおく。
[5, 2 + ω]^2
= < 25, 10 + 5ω, 4 + 4ω -146 >
= < 25, 10 + 5ω, 4ω -142 >
= < 25, 10 + 5ω, 4ω -17 >
= < 25, 27 + ω, 4ω -17 >
= < 25, 2 + ω, 4ω -17 >
= < 25, 2 + ω, -25 >
= [25, 2 + ω]
N(2 + ω) = 4 + 146 = 150 = 25・6
(2 + ω)/25 に一次変換 T = (0, -1)/(1, 0) (>>237) を施すと
-25/(2 + ω) になる。
-25/(2 + ω) = -25(2 - ω)/N(2 + ω) = -25(2 - ω)/(4 + 146)
= -25(2 - ω)/150 = -25(2 - ω)/(25・6) = (-2 + ω)/6
よって >>195 より [25, 2 + ω] 〜 [6, -2 + ω]
ここで 〜 は両辺のイデアルが同じイデアル類に属すことを示す。
|
 |
