■既約性判定基準(その48)
x^n−1の因数分解が,nの約数dを使って次のように書かれることを考えます.
x−1=Φ1(x)
x^2−1=Φ1(x)Φ2(x)
x^3−1=Φ1(x)Φ3(x)
x^4−1=Φ1(x)Φ2(x)Φ4(x)
x^5−1=Φ1(x)Φ5(x)
x^6−1=Φ1(x)Φ2(x)Φ3(x)Φ6(x)
・・・・・・・・・・・・・・・・・・・・・・・
x^18−1=Φ1(x)Φ2(x)Φ3(x)Φ6(x)Φ9(x)Φ18(x)
x^36−1=Φ1(x)Φ2(x)Φ3(x)Φ4(x)Φ6(x)Φ9(x)Φ12(x)Φ18(x)Φ36(x)
すると,円分多項式は(最初の数個)
Φ1(x)=x−1
Φ2(x)=x+1
Φ3(x)=x^2+x+1
Φ4(x)=x^2+1
Φ5(x)=x^4+x^3+x^2+x+1
Φ6(x)=x^2−x+1
Φ7(x)=x^6+x^5+x^4+x^3+x^2+x+1x−1
Φ8(x)=x^4+1
Φ9(x)=x^6+x^3+1
Φ12(x)=x^4−x^2+1
Φ15(x)=x^8−x^7+x^5−x^4+x^3−x+1
Φ16(x)=x^8+1
Φ18(x)=x^6−x^3+1
Φ24(x)=x^8−x^4+1
Φ36(x)=x^12−x^6+1
と定まります.
===================================