General Morphism Property for Groups

Theorem

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

Let $\phi: G \to H$ be a group homomorphism.


Then:

$\forall g_k \in H: \map \phi {g_1 \circ g_2 \circ \cdots \circ g_n} = \map \phi {g_1} * \map \phi {g_2} * \cdots * \map \phi {g_n}$


Proof

A group is a semigroup.

The result then follows from the General Morphism Property for Semigroups.

$\blacksquare$


Sources

  • 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 47 \ \text {(b)}$ Homomorphisms and their elementary properties
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.