For any Group homomorphism , we have where is the identity of and the identity of .
Indeed, , so premultiplying by we obtain .
All group homomorphisms preserve the identity.
For any Group homomorphism , we have where is the identity of and the identity of .
Indeed, , so premultiplying by we obtain .