代数的整数論 #003
■ このスレッドは過去ログ倉庫に格納されています
0254Kummer ◆g2BU0D6YN2
2006/05/10(水) 08:31:36f(ζ) = 1 + 2ζ + 3ζ^2 とおく。
Nf(ζ) = f(ζ)f(ζ^2)f(ζ^3)f(ζ^4) である。
g(ζ) = f(ζ)f(ζ^4) とおけば、
g(ζ^2) = f(ζ^2)f(ζ^3) で、
Nf(ζ) = g(ζ)g(ζ^2) となる。
g(ζ) を >>173 の方式で計算すると、
g(ζ) = (1 + 2ζ + 3ζ^2)(1 + 2ζ^4 + 3ζ^3)
= 14 + 8ζ + 3ζ^2 + 3ζ^3 + 8ζ^4
= 14 + 8(ζ + ζ^4) + 3(ζ^2 + ζ^3)
= 14 + 8θ + 3θ'
ここで、θ = ζ + ζ^4, θ' = ζ^2 + ζ^3 とおいた。
g(ζ^2) は g(ζ) からすぐ求まる。
g(ζ^2) = 14 + 8(ζ~2 + ζ^3) + 3(ζ^4 + ζ)
= 14 + 8'θ + 3θ
一方、θ + θ' = ζ + ζ^2 + ζ^3 + ζ^4 = -1
θθ' = ζ^3 + ζ^4 + ζ + ζ^2 = -1 であるから、
g(ζ) = 14 + 8θ + 3(-1 - θ) = 11 + 5θ
g(ζ^2) = 14 + 8(-1 - θ) + 3θ = 6 - 5θ
よって、
Nf(ζ) = g(ζ)g(ζ^2) = (11 + 5θ)(6 - 5θ)
= 66 - 55θ + 30θ - 25θ^2
= 66 - 25θ - 25θ^2 = 66 - 25θ(1 + θ) = 66 + 25θθ'
= 66 - 25 = 41
■ このスレッドは過去ログ倉庫に格納されています