Abelian Groups and Surjective Group Homomorphism

Abelian Group problems and solutions

Problem 167

Let $G, G’$ be groups. Suppose that we have a surjective group homomorphism $f:G\to G’$.
Show that if $G$ is an abelian group, then so is $G’$.

 
LoadingAdd to solve later

Definitions.

Recall the relevant definitions.

  • A group homomorphism $f:G\to G’$ is a map from $G$ to $G’$ satisfying
    \[f(xy)=f(x)f(y)\] for any $x, y \in G$.
  • A map $f:G \to G’$ is called surjective if for any $a\in G’$, there exists $x\in G$ such that
    \[f(x)=a.\]
  • A surjective group homomorphism is a group homomorphism which is surjective.

Proof.

Let $a, b\in G’$ be arbitrary two elements in $G’$. Our goal is to show that $ab=ba$.
Since the group homomorphism $f$ is surjective, there exists $x, y \in G$ such that
\[ f(x)=a, f(y)=b.\]

Now we have
\begin{align*}
ab&=f(x) f(y)\\
&=f(xy) \text{ since } f \text{ is a group homomorphism}\\
&=f(yx) \text{ since } G \text{ is an abelian group}\\
&=f(y)f(x) \text{ since } f \text{ is a group homomorphism}\\
&=ba.
\end{align*}
Therefore, we obtain $ab=ba$ for any two elements in $G’$, thus $G’$ is an abelian group.


LoadingAdd to solve later

More from my site

  • Cyclic Group if and only if There Exists a Surjective Group Homomorphism From $\Z$Cyclic Group if and only if There Exists a Surjective Group Homomorphism From $\Z$ Show that a group $G$ is cyclic if and only if there exists a surjective group homomorphism from the additive group $\Z$ of integers to the group $G$.   Proof. $(\implies)$: If $G$ is cyclic, then there exists a surjective homomorhpism from $\Z$ Suppose that $G$ is […]
  • Image of a Normal Subgroup Under a Surjective Homomorphism is a Normal SubgroupImage of a Normal Subgroup Under a Surjective Homomorphism is a Normal Subgroup Let $f: H \to G$ be a surjective group homomorphism from a group $H$ to a group $G$. Let $N$ be a normal subgroup of $H$. Show that the image $f(N)$ is normal in $G$.   Proof. To show that $f(N)$ is normal, we show that $gf(N)g^{-1}=f(N)$ for any $g \in […]
  • Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of ItselfGroup 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$ […]
  • A Group is Abelian if and only if Squaring is a Group HomomorphismA Group is Abelian if and only if Squaring is a Group Homomorphism Let $G$ be a group and define a map $f:G\to G$ by $f(a)=a^2$ for each $a\in G$. Then prove that $G$ is an abelian group if and only if the map $f$ is a group homomorphism.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ is a homomorphism. Suppose that […]
  • A Homomorphism from the Additive Group of Integers to ItselfA Homomorphism from the Additive Group of Integers to Itself Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism. Then show that there exists an integer $a$ such that \[f(n)=an\] for any integer $n$.   Hint. Let us first recall the definition of a group homomorphism. A group homomorphism from a […]
  • A Group Homomorphism and an Abelian GroupA Group Homomorphism and an Abelian Group Let $G$ be a group. Define a map $f:G \to G$ by sending each element $g \in G$ to its inverse $g^{-1} \in G$. Show that $G$ is an abelian group if and only if the map $f: G\to G$ is a group homomorphism.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ […]
  • Group Homomorphism, Conjugate, Center, and Abelian groupGroup Homomorphism, Conjugate, Center, and Abelian group Let $G$ be a group. We fix an element $x$ of $G$ and define a map \[ \Psi_x: G\to G\] by mapping $g\in G$ to $xgx^{-1} \in G$. Then prove the followings. (a) The map $\Psi_x$ is a group homomorphism. (b) The map $\Psi_x=\id$ if and only if $x\in Z(G)$, where $Z(G)$ is the […]
  • 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 […]

You may also like...

Leave a Reply

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

More in Group Theory
Group Theory Problems and Solutions in Mathematics
A Homomorphism from the Additive Group of Integers to Itself

Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism. Then show that...

Close