■電卓と3乗保型数(その5)

 3乗保型数には

  x^3=x→x(x−1)(x+1)=0→x=0,1,−1

の基づく性質がみられるに違いない.

  x^3=x

をZ10で解くとは,Z2とZ5で解くことに帰着されるが,Z2とZ5はともに整域なので,3乗保型数の解は2乗保型数をPn,Qnとして,

  ±1,0,±P,±Q,±(P−Q)

で尽きているという.

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

 4乗保型数には

  x^4=x→x(x−1)(x^2+x+1)=0→x=0,1

の基づく性質がみられるに違いない.

  x^4=x

をZ10で解くとは,Z2とZ5で解くことに帰着されるが,x=0,1を代入すると

  x^2+x+1=0 (mod2)

  x^2+x+1=0 (mod5)

はともに解をもたないことがわかる.

 したがって,4乗保型数の解は2乗保型数をPn,Qnとして,

  1,0,P,Q

で尽きている.

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

 5乗保型数には

  x^5=x→x(x−1)(x+1)(x^2+1)=0→x=0,1,−1

の基づく性質がみられるに違いない.

  x^5=x

をZ10で解くとは,Z2とZ5で解くことに帰着されるが,x=0,1,−1を代入すると

  x^2+1=0 (mod2)

は解をもたないが,

  x^2+1=0 (mod5)

は2つの解をもつことがわかる.

  α=[・・・1212]5

  β=[・・・3233]5

 したがって,4乗保型数の解は

  0,1,−1,α,β

の組み合わせによって,2乗保型数をPn,Qnとして,

  ±1,0,±P,±Q,±(P−Q)の9個と

  [・・・5807]10

  [・・・2943]10

  [・・・6432]10

  [・・・3568]10

  [・・・7057]10

  [・・・4193]10の6個,計15個で尽きている.

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