 Homomorphism of abelian groups

A group homomorphism between abelian groups, conventionally written additively. Its kernel and image are subgroups, and the additive formula implies preservation of zero, negation and every integer multiple. Maps on Mordell-Weil groups induced by isogenies of elliptic curves and by good reduction are examples.