Under a group homomorphism, the image of the inverse is the inverse of the image — LessWrong