Image of the identity under a group homomorphism is the identity

Edited by Patrick Stevens last updated

For any group homomorphism , we have where is the identity of and the identity of .

Indeed, , so premultiplying by we obtain .