In mathematics, an elliptic curve is a smooth, projective algebraic curve of genus one, on which there is a specified point O. An elliptic curve is in fact an abelian variety — that is, it has a multiplication defined algebraically with respect to which it is a (necessarily commutative) group — and O serves as the identity element. Often the curve itself, without O specified, is called an elliptic curve.
Any elliptic curve can be written as a plane algebraic curve defined by an equation of the form:
which is nonsingular; that is, its graph has no cusps or selfintersections. (When the characteristic of the coefficient field is equal to 2 or 3, the above equation is not quite general enough to comprise all nonsingular cubic curves; see below for a more precise definition.) The point O is actually the "point at infinity" in the projective plane.
If y^{2} = P(x), where P is any polynomial of degree three in x with no repeated roots, then we obtain a nonsingular plane curve of genus one, which is thus also an elliptic curve. If P has degree four and is squarefree this equation again describes a plane curve of genus one; however, it has no natural choice of identity element. More generally, any algebraic curve of genus one, for example from the intersection of two quadric surfaces embedded in threedimensional projective space, is called an elliptic curve, provided that it has at least one rational point.
Using the theory of elliptic functions, it can be shown that elliptic curves defined over the complex numbers correspond to embeddings of the torus into the complex projective plane. The torus is also an abelian group, and in fact this correspondence is also a group isomorphism.
Elliptic curves are especially important in number theory, and constitute a major area of current research; for example, they were used in the proof, by Andrew Wiles (assisted by Richard Taylor), of Fermat's Last Theorem. They also find applications in cryptography (see the article elliptic curve cryptography) and integer factorization.
An elliptic curve is not an ellipse: see elliptic integral for the origin of the term. Topologically, an elliptic curve is a twotorus.
Contents
Full article ▸
