Mapping from Additive Group of Integers to Powers of Group Element is Homomorphism

From ProofWiki
Jump to navigation Jump to search


Let $\struct {G, \circ}$ be a group.

Let $g \in G$.

Let $\struct {\Z, +}$ denote the additive group of integers.

Let $\phi_g: \struct {\Z, +} \to \struct {G, \circ}$ be the mapping defined as:

$\forall k \in \Z: \map {\phi_g} k = g^k$

Then $\phi_g$ is a (group) homomorphism.


Let $k, l \in \Z$.

\(\ds \map {\phi_g} {k + l}\) \(=\) \(\ds a^{k + l}\)
\(\ds \) \(=\) \(\ds a^k a^l\)
\(\ds \) \(=\) \(\ds \map {\phi_g} k \circ \map {\phi_g} l\)

thus proving that $\phi_g$ is a homomorphism as required.