Under a group homomorphism, the image of the inverse is the inverse of the image - History — AI Alignment Forum