■既約性判定基準(その219)
[3]m=5,L=21:{1,3,10,2,5}
φ(21)=21(1−1/3)(1−1/7)=12
m=5=2^2+1→φ(21)/12=12/12=1通り
F4上の射影平面には21個の点と21本の直線があり、どの直線も5個の点を通り、どの点でも5本の直線が交わっている。
これに有限体F64を対応させる。
に取り掛かりたい。
===================================
ここではx^3+x^2+x+ω=0,x^3=ω+x+x^2、ω~2=1+ωを用いる。
1
x
x^2
x^3=ω+x+x^2
x^4=ω+ω^2x
x^5=ωx+ω^2x^2
x^6=1+ω^2x+x^2
x^7=ω+ωx^2
x^8=ω^2+ωx^2
x^9=ω^2+x+ωx^2
x^10=ω^2+x+ω^2x^2
x^11=1+ωx^2
x^12=ω^2+ω^2x+ωx^2
x^13=ω^2+x+x^2
x^14=ω+ωx
x^15=ωx+ωx^2
x^16=ω^2+ωx
x^17=ω^2x+ωx^2
x^18=ω^2+ωx+x^2
x^19=ω+ωx+ω^2x^2
x^20=1+x+x^2
x^21=ω
・・・・・・・
x^42=ω^2
x^63=1
1倍ω倍ω^2倍の点を同一視すると21個の点があります。
===================================
{1,x,1+x,ω+x,ω^2+x}={x^0,x~1,x^14,x^16,x^4}を並べ替えた{x^0,x~1,x^4,x^14,x^16}の階差は
1→3→10→2→5→1→3→10→2→5→・・・
x^5=yとおいて
{1,x^5,1+x^5,ω+x^5,ω^2+x^5}={x^0,x^5,x~30,x^40,x^92}={y^0,y~1,y^6,y^8,y^18}の階差は
1→5→2→10→3→1→5→2→・・・となり、これは鏡映である
===================================