Group Homomorphism Preserves Identity/Proof 2

Theorem

Let $\struct {G, \circ}$ and $\struct {H, *}$ be groups.

Let $\phi: \struct {G, \circ} \to \struct {H, *}$ be a group homomorphism.

Let:

$e_G$ be the identity of $G$
$e_H$ be the identity of $H$.


Then:

$\map \phi {e_G} = e_H$


Proof

A direct application of Homomorphism to Group Preserves Identity.

$\blacksquare$


Sources

  • 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {II}$: New Structures from Old: $\S 12$: Homomorphisms
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.