Group Isomorphism Preserves Inverses/Proof 1
Jump to navigation
Jump to search
Theorem
Let $\phi: \struct {G, \circ} \to \struct {H, *}$ be a group isomorphism.
Let:
Then:
- $\forall g \in G: \map \phi {g^{-1} } = \paren {\map \phi g}^{-1}$
Proof
An group isomorphism is by definition a group epimorphism.
The result follows from Epimorphism Preserves Inverses.
$\blacksquare$