Group Isomorphism Preserves Identity/Proof 2
< Group Isomorphism Preserves Identity(Redirected from Group Isomorphism Preserves Identity and Inverses/Proof 2)
Jump to navigation
Jump to search
Theorem
Let $\phi: \struct {G, \circ} \to \struct {H, *}$ be a group isomorphism.
Let:
Then:
- $\map \phi {e_G} = e_H$
Proof
\(\ds \map \phi {e_G}\) | \(=\) | \(\ds \map \phi {e_G \circ e_G}\) | Definition of Identity Element | |||||||||||
\(\ds \) | \(=\) | \(\ds \map \phi {e_G} * \map \phi {e_G}\) | Definition of Group Isomorphism | |||||||||||
\(\ds \) | \(=\) | \(\ds \map \phi {e_G} * \map \phi {e_G}\) | Definition of Group Isomorphism |
It follows from Identity is only Idempotent Element in Group that $\map \phi {e_G}$ is the identity of $H$.
That is:
- $\map \phi {e_G} = e_H$
$\blacksquare$
Sources
- 1966: Richard A. Dean: Elements of Abstract Algebra ... (previous) ... (next): $\S 1.5$: Theorem $4$