代数的整数論 #003
■ このスレッドは過去ログ倉庫に格納されています
0280Kummer ◆g2BU0D6YN2
2006/05/20(土) 19:22:29λ = 19 の場合の f 項周期(>>268) を求める。
そのため、λ = 19 の原始根を求める必要がある。
幸いなことに 2 が原始根である。
何故なら 2^9 ≡ -1 (mod λ) で 2^18 ≡ 1 (mod λ) だから。
よって、Z[ζ] の自己同型σを σ(ζ) = ζ^2 で定義する(>>263)。
λ - 1 = 18 = 3・6 だから f = 3, e = 6 とする。
2^6 ≡ 7 (mod λ) だから σ^6(ζ) = ζ^7 である。
ζ, σ(ζ), σ^2(ζ), ..., σ^17(ζ) を順々に求めると
ζ, ζ^2, ζ^4, ζ^8, ζ^(-3), ζ^(-6), ζ^7, ζ^(-5), ζ^9,
ζ^(-1), ζ^(-2), ζ^(-4), ζ^(-8), ζ^3, ζ^6, ζ^(-7), ζ^5, ζ^(-9)
となる。
よって 六個づつ飛び飛びに取って、
η_0 = ζ + ζ^7 + ζ^(-8)
η_1 = ζ^2 + ζ^(-5) + ζ^3
η_2 = ζ^4 + ζ^9 + ζ^6
η_3 = ζ^8 + ζ^(-1) + ζ^(-7)
η_4 = ζ^(-3) + ζ^(-2) + ζ^5
η_5 = ζ^(-6) + ζ^(-4) + ζ^(-9)
となる。
■ このスレッドは過去ログ倉庫に格納されています