A Group Homomorphism is Injective if and only if the Kernel is Trivial

Group Theory Problems and Solutions in Mathematics

Problem 144

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$.
 
LoadingAdd to solve later

Sponsored Links


 

Definitions/Hint.

    We recall several relevant definitions.

  • A group homomorphism $f:G\to H$ is a map such that for any $g_1, g_2 \in G$, we have
    \[f(g_1g_2)=f(g_1)f(g_2).\]
  • A group homomorphism $f:G \to H$ is injective if for any $g_1, g_2 \in G$
    the equality
    \[f(g_1)=f(g_2)\] implies $g_1=g_2$.
  • The kernel of a group homomorphism $f:G \to H$ is a set of all elements of $G$ that is mapped to the identity element of $H$.
    Namely,
    \[\ker(f)=\{g\in G \mid f(g)=e’\},\] where $e’$ is the identity element of $H$.

Proof.

Injective $\implies$ the kernel is trivial

Suppose the homomorphism $f: G \to H$ is injective.
Then since $f$ is a group homomorphism, the identity element $e$ of $G$ is mapped to the identity element $e’$ of $H$. Namely, we have $f(e)=e’$.
If $g \in \ker(f)$, then we have $f(g)=e’$, and thus we have
\[f(g)=f(e).\] Since $f$ is injective, we must have $g=e$. Thus we have $\ker(f)=\{e\}$.

The kernel is trivial $\implies$ injective

On the other hand, suppose that $\ker(f)=\{e\}$.
If $g_1, g_2$ are elements of $G$ such that
\[f(g_1)=f(g_2), \tag{*}\] then we have
\begin{align*}
f(g_1g_2^{-1})&=f(g_1)f(g_2^{-1}) \quad \text{ since } f \text{ is a homomorphism}\\
&=f(g_1)f(g_2)^{-1} \quad \text{ since } f \text{ is a homomorphism}\\
&=f(g_1)f(g_1)^{-1} \quad \text{ by } (*)\\
&=e’.
\end{align*}

In the second step, we used the fact $f(g_2^{-1})=f(g_2)^{-1}$, which is proved in the post “Group Homomorphism Sends the Inverse Element to the Inverse Element“.

Thus the element $g_1g_2^{-1}$ is in the kernel $\ker(f)=\{e\}$, and hence $g_1g_2^{-1}=e$.
This implies that we have $g_1=g_2$ and $f$ is injective.


LoadingAdd to solve later

Sponsored Links

More from my site

  • A Group Homomorphism is Injective if and only if MonicA 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 […]
  • The Quotient by the Kernel Induces an Injective HomomorphismThe Quotient by the Kernel Induces an Injective Homomorphism 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'$.   Outline. Define $\tilde{\phi}([g])=\phi(g)$ and show that this is well-defined. Show […]
  • Injective Group Homomorphism that does not have Inverse HomomorphismInjective Group Homomorphism that does not have Inverse Homomorphism Let $A=B=\Z$ be the additive group of integers. Define a map $\phi: A\to B$ by sending $n$ to $2n$ for any integer $n\in A$. (a) Prove that $\phi$ is a group homomorphism. (b) Prove that $\phi$ is injective. (c) Prove that there does not exist a group homomorphism $\psi:B […]
  • Subgroup of Finite Index Contains a Normal Subgroup of Finite IndexSubgroup of Finite Index Contains a Normal Subgroup of Finite Index Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$.   Proof. The group $G$ acts on the set of left cosets $G/H$ by left multiplication. Hence […]
  • Nontrivial Action of a Simple Group on a Finite SetNontrivial Action of a Simple Group on a Finite Set Let $G$ be a simple group and let $X$ be a finite set. Suppose $G$ acts nontrivially on $X$. That is, there exist $g\in G$ and $x \in X$ such that $g\cdot x \neq x$. Then show that $G$ is a finite group and the order of $G$ divides $|X|!$. Proof. Since $G$ acts on $X$, it […]
  • Surjective Group Homomorphism to $\Z$ and Direct Product of Abelian GroupsSurjective Group Homomorphism to $\Z$ and Direct Product of Abelian Groups Let $G$ be an abelian group and let $f: G\to \Z$ be a surjective group homomorphism. Prove that we have an isomorphism of groups: \[G \cong \ker(f)\times \Z.\]   Proof. Since $f:G\to \Z$ is surjective, there exists an element $a\in G$ such […]
  • Group Homomorphism, Preimage, and Product of GroupsGroup Homomorphism, Preimage, and Product of Groups Let $G, G'$ be groups and let $f:G \to G'$ be a group homomorphism. Put $N=\ker(f)$. Then show that we have \[f^{-1}(f(H))=HN.\]   Proof. $(\subset)$ Take an arbitrary element $g\in f^{-1}(f(H))$. Then we have $f(g)\in f(H)$. It follows that there exists $h\in H$ […]
  • The Additive Group $\R$ is Isomorphic to the Multiplicative Group $\R^{+}$ by Exponent FunctionThe Additive Group $\R$ is Isomorphic to the Multiplicative Group $\R^{+}$ by Exponent Function Let $\R=(\R, +)$ be the additive group of real numbers and let $\R^{\times}=(\R\setminus\{0\}, \cdot)$ be the multiplicative group of real numbers. (a) Prove that the map $\exp:\R \to \R^{\times}$ defined by \[\exp(x)=e^x\] is an injective group homomorphism. (b) Prove that […]

You may also like...

2 Responses

  1. Darie says:

    Thanks a lot, very nicely explained and laid out ! Keep up the great work !

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory
Group Theory Problems and Solutions in Mathematics
Multiplicative Groups of Real Numbers and Complex Numbers are not Isomorphic

Let $\R^{\times}=\R\setminus \{0\}$ be the multiplicative group of real numbers. Let $\C^{\times}=\C\setminus \{0\}$ be the multiplicative group of complex numbers....

Close