■既約性判定基準(その113)

[4]m=6,L=31:{1,2,5,4,6,13}

  m=6=5^1+1→φ(31)/6=30/6=5通り

F5上の射影平面には31個の点と31本の直線があり、どの直線も6個の点を通り、どの点でも6本の直線が交わっている。

これに有限体F125を対応させる。

{1,2,5,4,6,13}

{1,14,4,2,3,7}

{1,3,2,7,8,10}

{1,5,12,4,7,2}

{1,3,6,2,5,14}

に取り掛かりたい。

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

ここではx^3+4x+3=0,x^3=2+xを用いる。

1

x

x^2

x^3=2+x

x^4=2x+x^2

x^5=2+x+2x^2

x^6=4+4x+x^2

x^7=2+4x^2

x^8=3+x

x^9=3x+x^2

x^10=2+x+3x^2

x^11=1+x^2

x^12=2+2x

x^13=2x+2x^2

x^14=4+2x+2x^2

x^15=4+x+2x^2

x^16=4+x+x^2

x^17=2+x^2

x^18=2+3x

x^19=2x+3x^2

x^20=1+3x+2x^2

x^21=4+3x+3x^2

x^22=1+2x+3x^2

x^23=1+4x+2x^2

x^24=4+3x+4x^2

x^25=3+3x+3x^2

x^26=1+x+3x^2

x^27=1+4x+x^2

x^28=2+2+4x^2

x^29=3+x+2x^2

x^30=4+x^2

x^31=2

・・・・・・・

x^62=4

x^124=1

1倍2倍3倍4倍の点を同一視すると31個の点があります。

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

{1,x,1+x,2+x,3+x,4+x}={x^0,x~1,x^12,x^3,x^8,x^18}を並べ替えた{x^0,x~1,x^3,x^8,x^12,x^18}の階差は

1→2→5→4→6→13→1→2→・・・

x^2=yとおいて

{1,x^2,1+x^2,2+x^2,3+x^2,4+x^2}={x^0,x^2,x^42,x~48,x^38,x^30}={y^0,y^1,y^15,y~19,y^21,y^24}並べ替えた{y^0,y~1,y^15,y^19,y^21,y^24}の階差は

1→14→4→2→3→7→1→14→・・・

x^3=yとおいて

{1,x^3,1+x^3,2+x^3,3+x^3,4+x^3}={x^0,x^3,x^39,x~18,x^63,x^12}={y^0,y^1,y^13,y~6,y^21,y^4}並べ替えた{y^0,y~1,y^4,y^6,y^13,y^21}の階差は

1→3→2→7→8→10→1→3→・・・

x^4=yとおいて

{1,x^4,1+x^4,2+x^4,3+x^4,4+x^4}={x^0,x^4,x^24,x~88,x^116,x^72}={y^0,y^1,y^6,y~22,y^29,y^18}並べ替えた{y^0,y~1,y^6,y^18,y^22,y^29}の階差は

1→5→12→4→7→2→1→5→・・・

x^8=yとおいて

{1,x^8,1+x^8,2+x^8,3+x^8,4+x^8}={x^0,x^8,x^80,x~32,x^136,x^96}={y^0,y^1,y^10,y~4,y^17,y^12}並べ替えた{y^0,y~1,y^4,y^10,y^12,y^17}の階差は

1→3→6→2→5→14→1→3→・・・

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