Image of the identity under a group homomorphism is the identity

https://arbital.com/p/image_of_identity_under_group_homomorphism

by Patrick Stevens Jun 14 2016

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 .