x
Image of the identity under a group homomorphism is the identity - History — LessWrong