有限体 上の楕円曲線 上の有理点(x, y)を考える。 x座標,y座標はともに0以上p(素数)未満の整数。 ２つの点に対する加法を以下で定義すると、この点と加法は可換群(アーベル群)をなすことが知られている。 これを点の加法と呼ぶことにする。 楕円関数の加法公…