代数的整数論 #003
■ このスレッドは過去ログ倉庫に格納されています
0256Kummer ◆g2BU0D6YN2
2006/05/10(水) 16:47:52計算の方法は >>254 と同じである。
f(ζ) = 3 - 2ζ + ζ^2 - ζ^3 とおく。
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(ζ) = (3 - 2ζ + ζ^2 - ζ^3)(3 - 2ζ^4 + ζ^3 - ζ^2)
= 15 - 9ζ + 2ζ^2 + 2ζ^3 - 9ζ^4
= 15 - 9(ζ + ζ^4) + 2(ζ^2 + ζ^3)
= 15 - 9θ + 2θ'
ここで、θ = ζ + ζ^4, θ' = ζ^2 + ζ^3 とおいた。
一方、θ + θ' = ζ + ζ^2 + ζ^3 + ζ^4 = -1
θθ' = ζ^3 + ζ^4 + ζ + ζ^2 = -1 であるから、
g(ζ) = 15 - 9θ + 2(-1 - θ) = 13 - 11θ
g(ζ^2) = 13 - 11θ'
よって、
Nf(ζ) = g(ζ)g(ζ^2) = (13 - 11θ)(13 - 11θ')
= 13^2 + 13・11 - 11^2 = 169 + (13 - 11)11 = 169 + 22 = 191
■ このスレッドは過去ログ倉庫に格納されています