An isogeny is a surjective morphism of algebraic groups with finite kernel. For abelian varieties it is a finite surjective group morphism. An isogeny of elliptic curves is its one-dimensional abelian-variety specialization.
New to topics? Read the docs here!