J-不変量
今までは、j を複素変数の函数として考えてきたが、楕円曲線の同型類の不変量としては、j を純粋に代数的に定義することもできる。
y 2 + a 1 x y + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 {\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}}
を任意の体の上の平面楕円曲線とすると、
b 2 = a 1 2 + 4 a 2 , b 4 = a 1 a 3 + 2 a 4 {\displaystyle b_{2}=a_{1}^{2}+4a_{2},\quad b_{4}=a_{1}a_{3}+2a_{4}}
b 6 = a 3 2 + 4 a 6 , b 8 = a 1 2 a 6 − a 1 a 3 a 4 + a 2 a 3 2 + 4 a 2 a 6 − a 4 2 {\displaystyle b_{6}=a_{3}^{2}+4a_{6},\quad b_{8}=a_{1}^{2}a_{6}-a_{1}a_{3}a_{4}+a_{2}a_{3}^{2}+4a_{2}a_{6}-a_{4}^{2}}