Image of the identity under a group homomorphism is the identity

Discuss the wikitag on this page. Here is the place to ask questions and propose changes.