An Elementary Linear-Algebraic Proof without Heavy Computation for the Group Law on Elliptic Curves

08/13/2020

∙

by   Koji Nuida, et al.

∙

0

∙

share

The group structure on the rational points of elliptic curves plays several important roles, in mathematics and recently also in other areas such as cryptography. However, the famous proofs for the group property (in particular, for its associative law) require somewhat advanced mathematics and therefore are not easily accessible by non-mathematician. In this paper, we give a self-contained proof of the associative law for this operation, assuming mathematical knowledge only at the level of basic linear algebra and not requiring heavy computation.