■円周等分と正17角形(その68)

 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に関する原始根である.)

===================================