 Homomorphism of group varieties

A homomorphism of group varieties is a morphism of algebraic varieties that also preserves multiplication. It automatically preserves the identity and inversion.