■フェルマーの最終定理と有限体(その83)

【1】楕円曲線のj不変量

 y^2=x^3+Px+Qのj不変量は

  j=2^83^3P^3/(4P^3+27Q^2)

で定義されます.

 y^2=x^3+Q → j=0

 y^2=(x-A)(x-B)(x-C) → j=2^8(AB+BC+CA-A^2-B^2-C^2)/(A-B)^2(B-C)^2(C-A)^2

 y^2=x(x-1)(x-A) → j=-2^8(A(A+1)+1)/A^2(A-1)^2

 y^2-=x^3-x^2 →(y-1/2)^2=x^3-x^2+1/4→y^2=(x-1/3)^3-1/3(x-1/3)+19/108 → j=-2^12/11

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