代数的整数論 #003
■ このスレッドは過去ログ倉庫に格納されています
0243Kummer ◆g2BU0D6YN2
2006/05/02(火) 13:26:16p ≡ 1 mod 3 となる素数 p で最小のものは 7 である。
7 を割る円分素数を求めてみよう。
k^2 + k + 1 ≡ 0 mod 7 の解は 4 である。
よって、(7, ζ- 4) を Euclid の互除法で求めればよい。
除算には、>>233 の方法を使用する。
N(ζ- 4) = 21 だから、7/(ζ- 4) = (ζ^2 - 4)/3 = (-5 - ζ)/3
-5/3 に最も近い有理整数は -1 である。
よって、7/(ζ- 4) - (-1) = (-2 - ζ)/3
(ζ- 4)(-2 - ζ)/3 = (-2ζ - ζ^2 + 8 + 4ζ)/3
= (9 + 3ζ)/3 = 3 + ζ
よって、7 = (ζ- 4)(-1) + 3 + ζ が 7 を ζ- 4 で割った
Euclid の除算である。
(ζ- 4)/(ζ + 3) = ζ - 1 だから (7, ζ- 4) = 3 + ζ である。
■ このスレッドは過去ログ倉庫に格納されています