Commutator map is homomorphism if commutator is in centralizer
Then, the map given by:
is a homomorphism of groups from to .
- Class two implies commutator map is endomorphism is a special case where the statement applies globally.
The proof follows directly from Fact (1).