■既約性判定基準(その28)
n乗して初めて1になる複素数を1の原始n乗根という.
ζ=cos(2π/17)+isin(2π/17)
ζk=cos(2kπ/17)+isin(2kπ/17)
とおくと,kはnと共通因子をもたないnより小さい正の整数で,nが素数ならば
k=1,2,3,・・・,n−1
をとることができる.
そこで,たとえばφ=ζ3とおくと
φ^2=ζ9,φ^3=ζ10,φ^4=ζ13,φ^5=ζ5,φ^6=ζ15
φ^7=ζ11,φ^8=ζ16,φ^9=ζ14,φ^10=ζ5,φ^11=ζ7
φ^12=ζ4,φ^13=ζ12,φ^14=ζ2,φ^15=ζ6,φ^16=ζ1
となって,
AutQ(ζ)={φ,φ^2,・・・,φ^16}
となる.
この例ではζ3が特別な働きをしたが,これは3^n−1が17で割り切れる最小の正の整数がn=16であることと関係している.
===================================
→3は法17に関する原始根である.(10も法17に関する原始根である.)
===================================