Homomorphism of group schemes
= Homomorphism of group schemes
A homomorphism of group schemes $f:H\to G$ is a morphism over the base that commutes with multiplication: $f\circ m_H=m_G\circ(f\times f)$. It consequently preserves the identity and inversion.