Isogeny of complex tori (source code)

= Isogeny of complex tori

An isogeny of complex tori is a surjective holomorphic homomorphism with finite kernel. On universal covers it comes from a complex-linear map carrying one lattice into the other with finite index.