Isogeny

English

Etymology

From Template:Confix.

Noun

1. The condition of being isogenous.
2. Template:Lb An epimorphism of group schemes that is surjective and has a finite kernel.
   • Template:Quote-book
   • 2002, Mireille Fouquet, François Morain, Isogeny Volcanoes and the SEA Algorithm, Claus Fieker, David R. Kohel (editors), Algorithmic Number Theory: 5th International Symposium, Proceedings, Springer, Template:W 2369, page 279,

     Lemma 2.2 Let $E$ be an elliptic curve such that $\mathbb{Z}[\pi ]$ is maximal at $𝓁$. If there exists an $𝓁$-isogeny of $E$, then this $𝓁$-isogeny is anTemplate:Sic horizontal $𝓁$-isogeny.

   • 2005, Fred Diamond, Jerry Shurman, A First Course in Modular Forms, Springer, page 29,

     The dual isogeny of an isomorphism is its inverse. The dual of a composition of isogenies is the composition of the duals in the reverse order. If $\phi$ is an isogeny and $\hat{\phi }$ is its dual then the formulas $\phi (z+\mathrm{\Lambda })=mz+{\mathrm{\Lambda }}^{\prime }$, $\phi (z^{\prime }+{\mathrm{\Lambda }}^{\prime })=(\mathrm{\phi }/m)z^{\prime }+\mathrm{\Lambda }$ show that also

     $\phi \circ \hat{\phi }=[\mathrm{deg}(\phi )]=[\mathrm{deg}(\hat{\phi })]$,

     so that $\phi$ is in turn the dual isogeny of its dual $\hat{\phi }$. Isogeny of complex tori, rather than isomorphism, will turn out to be the appropriate equivalence relation in the context of modular forms.

Usage notes

In some contexts, (e.g., universal algebra), an epimorphism may be defined as a surjective homomorphism, and the definition of isogeny may change accordingly. In the broader context of category theory, however, this substitution is not made, because the definitions are not precisely identical. (A surjective homomorphism is always an epimorphism, but the reverse is not always true. See Template:Pedia)

Derived terms

• Template:L
• Template:L
• Template:L
• Template:L
• Template:L
• Template:L

Translations

• Finnish: Template:T

Further reading

• Isogeny on Template:W
• Isogeny on Template:W