In mathematics, an isogeny is a morphism of varieties between two abelian varieties (e.g. elliptic curves) that is surjective and has a finite kernel. Every isogeny is automatically a group homomorphism between the groups of k-valued points of and , for any field k over which is defined.
Contents |
From the Greek (iso-) and Latin (genus), the term isogeny means "equal origins", a reference to the geometrical fact that an isogeny sends the point at infinity (the origin) of the source elliptic curve to the point at infinity of the target elliptic curve.
For elliptic curves, this notion can also be formulated as follows:
Let and be elliptic curves over a field k. An isogeny between and is a surjective morphism of varieties that preserves basepoints (i.e. maps the infinite point on to that on ).
Two elliptic curves and are called isogenous if there is an isogeny . This is an equivalence relation, symmetry being due to the existence of the dual isogeny. As above, every isogeny induces homomorphisms of the groups of the k-valued points of the elliptic curves.