An elementary proof of the group law for elliptic curves

DOI10.1515/GCC-2017-0010MaRDI QIDQ1676248zbMATH OpenOpenAlexFDO

Authors Stefan Friedl

Publication date 6 November 2017

Published in Groups - Complexity - Cryptology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.00214

zbMATH Keywords

associativityelliptic curvesgroup structure

Mathematics Subject Classification ID

Elliptic curves (14H52)

Abstract: We give an elementary proof of the group law for elliptic curves using explicit formulas.

Review text

The author presents a computational (formal) proof of the existence of a group structure for an elliptic curve \(E:y^2=x^3+ax+b\) (i.e., basically, of the associativity of the group law). The various cases for the equality \(A+(B+C)=(A+B)+C\) (i.e., \(A=B\), \(A+B=C\), etc...) are treated separately and explicitly: many of them require long and hard computations which were performed using the algebraic computational system CoCoA.

Recommendations

• An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves
• The group structure of elliptic curves
• An exploration of affine group laws for elliptic curves
• scientific article; zbMATH DE number 784874
• scientific article

Cites work

• Formal Proof of the Group Law for Edwards Elliptic Curves
• scientific article; zbMATH DE number 3937328 (Why is no real title available?)
• scientific article; zbMATH DE number 3977160 (Why is no real title available?)
• scientific article; zbMATH DE number 52387 (Why is no real title available?)
• scientific article; zbMATH DE number 3603347 (Why is no real title available?)
• Primality Proving with Elliptic Curves

Cited in

(6)

• The group structure of elliptic curves
• scientific article; zbMATH DE number 1866867 (Why is no real title available?)
• An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves
• Formal Proof of the Group Law for Edwards Elliptic Curves
• A computationally surveyable proof of the group properties of an elliptic curve
• An elementary approach to the group law on elliptic curves

Describes a project that uses

Uses Software

• CoCoA
• ACL2

This page was built for publication: An elementary proof of the group law for elliptic curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1676248)