Group homomorphism/Inverse to inverse/Fact

< Group homomorphism < Inverse to inverse

Let and denote groups, and let be a group homomorphism.

Then

and for every

.