Image of the identity under a group homomorphism is the identity — AI Alignment Forum