A smooth projective algebraic curve of genus one together with a distinguished rational point (the origin); over a field of characteristic not 2 or 3 it is commonly given by a Weierstrass cubic y^2 = x^3 + ax + b, and it carries a natural abelian group law on its rational points.

Principle

A non-singular cubic curve of genus one with a chosen rational point admits a geometric chord-and-tangent construction that defines a commutative algebraic group structure on its set of rational points; arithmetic invariants (rank, torsion, conductor) summarize its Diophantine properties.

Demonstration

Over Q, the set E(Q) of rational points on an elliptic curve E is a finitely generated abelian group (Mordell–Weil): for example the curve y^2 = x^3 − x has explicit rational points that generate a subgroup whose structure can be computed and whose rank measures the 'size' of the free part.

Misapplication

Calling a singular cubic (with a node or cusp) an elliptic curve or applying the chord-and-tangent group law to a reducible or singular model; confusing elliptic curves with elliptic functions or with arbitrary genus one curves lacking a rational base point.

Consequence

Elliptic curves link algebraic geometry, arithmetic, and complex analysis: knowledge of E over various fields yields group-theoretic, Galois-representation, and modularity information; in practice, the group structure enables algorithms for rational point search, cryptographic constructions, and the study of L-functions.

Reversal

The reversal is a singular cubic (nodal or cuspidal) or a genus-zero curve: the geometric and arithmetic group structure degenerates, the genus drops and one no longer has the abelian variety structure that defines an elliptic curve.

Boundary

Definition depends on the base field and requires non-singularity and a specified rational point; excludes singular cubics, higher-genus curves, and purely complex-analytic tori viewed without algebraic structure; arithmetic statements vary between fields, integral models, and reductions modulo primes.

Semantic Tension

Close concepts include complex tori and elliptic functions: analytically every elliptic curve over C is a complex torus, but algebraically 'elliptic curve' emphasizes an algebraic model and rational points, while 'elliptic function' emphasizes analytic periodicity; these perspectives overlap but stress different structures.

Synthesis

An elliptic curve is simultaneously a smooth genus-one algebraic curve with a chosen base point and a commutative algebraic group: it provides a concrete cubic model carrying a group law whose arithmetic (rank, torsion) and analytic invariants (L-function, complex uniformization) connect geometry, number theory, and analysis.