- 351 名前：Kummer ◆g2BU0D6YN2 [2006/12/24(日) 00:21:19 ]
- >>350 を使って Q(√(-146)) のイデアル類群の構造を決定しよう。
単位類、つまり [1, ω] の属す類を E とおく。
[2, ω] の属す類を B とおく。
[2, ω]^2
= < 4, 2ω, -146 >
= < 4, 2ω, -2 >
= < 2ω, 2 >
= 2[1, ω]
だから B^2 = E である。
上の < 4, 2ω, -146 > などは、4, 2ω, -146 で生成される
Z[ω] の部分アーベル群を表す(>>9 参照)。
|
 |
