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