# The Quotient by the Kernel Induces an Injective Homomorphism

## Problem 4

Let $G$ and $G’$ be a group and let $\phi:G \to G’$ be a group homomorphism.

Show that $\phi$ induces an injective homomorphism from $G/\ker{\phi} \to G’$.

Contents

## Outline.

1. Define $\tilde{\phi}([g])=\phi(g)$ and show that this is well-defined.
2. Show that $\tilde{\phi}$ is a homomorphism.
3. Show that $\tilde{\phi}$ is injective.

## Proof.

Define the map $\tilde{\phi}: G/\ker{\phi} \to G’$ by sending $[g]$ to $\phi(g)$. Here $[g]$ is the element of $G/\ker{\phi}$ represented by $g\in G$.

We need to show that this is well-defined.
Namely, we need to show that $\tilde{\phi}$ does not depend on the choice of representative.

So suppose $[g]=[h]$ for $g, h \in G$. Then we have $x:=gh^{-1} \in \ker{\phi}$. Thus we have
$e’=\phi(x)=\phi(gh^{-1})=\phi(g)\phi(h)^{-1},$  where $e’\in G’$ is the identity element of $G’$.
Here the third equality follows because $\phi$ is a homomorphism.
Hence we obtain $\phi(g)=\phi(h)$, equivalently $\tilde{\phi}([g])=\tilde{\phi}([h])$. Thus $\tilde{\phi}$ is well-defined.

Now we show that $\tilde{\phi}: G/\ker{\phi} \to G’$ is a homomorphism. Let $[g], [h] \in G/\ker{\phi}$. Then we have
$\tilde{\phi}([g][h])=\tilde{\phi}([gh])=\phi(gh)=\phi(g)\phi(h)=\tilde{\phi}([g])\tilde{\phi}([h])$ and $\tilde{\phi}$ is a homomorphism.

Finally, we prove that $\tilde{\phi}$ is injective. Suppose that $\tilde{\phi}([g])=e’$. Then this means $\phi(g)=e’$, hence $g\in \ker{\phi}$.
Thus $[g]=[e]$, where $e$ is the identity element of $G$.
Hence $\tilde{\phi}$ is injective and the proof is complete.

• A Group Homomorphism is Injective if and only if the Kernel is Trivial Let $G$ and $H$ be groups and let $f:G \to K$ be a group homomorphism. Prove that the homomorphism $f$ is injective if and only if the kernel is trivial, that is, $\ker(f)=\{e\}$, where $e$ is the identity element of $G$.     Definitions/Hint. We recall several […]
• A Group Homomorphism is Injective if and only if Monic Let $f:G\to G'$ be a group homomorphism. We say that $f$ is monic whenever we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$, we have $g_1=g_2$. Then prove that a group homomorphism $f: G \to G'$ is injective if and only if it is […]
• Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of Itself Let $p$ be a prime number. Let $G=\{z\in \C \mid z^{p^n}=1\}$ be the group of $p$-power roots of $1$ in $\C$. Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism. Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ […]