Homomorphism of group varieties (source code)

= 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.