If Quotient $G/H$ is Abelian Group and $H < K \triangleleft G$, then $G/K$ is Abelian

Problem 341

Let $H$ and $K$ be normal subgroups of a group $G$.
Suppose that $H < K$ and the quotient group $G/H$ is abelian.
Then prove that $G/K$ is also an abelian group.

Recall the third isomorphism theorem of groups:
Let $G$ be a group and let $H, K$ be normal subgroups of $G$ with $H < K$.
Then we have $G/K$ is a normal subgroup of $G/H$ and we have an isomorphism
\[G/K \cong (G/H)/(G/K).\]

Proof 1 (Using third isomorphism theorem)

Since $H, K$ are normal subgroups of $G$ and $H < K$, the third isomorphism theorem yields that
\[G/K \cong (G/H)/(G/K).\]

Hence by the above isomorphism, the group $G/K$ is also an abelian group.

Proof 2 (Using the commutator subgroup)

Here is another proof using the commutator subgroup $[G, G]$ of $G$.
Recall that for a subgroup $N$ of $G$, the following two conditions are equivalent.

The subgroup $N$ is normal and the $G/N$ is an abelian.

The commutator subgroup $[G, G]$ is a subgroup of $N$.

Now we prove the problem using this fact.
Since $H$ is normal and the quotient $G/H$ is an abelian group, the commutator subgroup $[G, G]$ is a subgroup of $H$ by the fact (1 $\implies$ 2).

Then we have
\begin{align*}
[G, G] < H < K.
\end{align*}
Hence $[G, G]$ is a subgroup of $K$, hence $G/K$ is an abelian group by the fact again (2 $\implies$ 1).

Abelian Normal subgroup, Quotient Group, and Automorphism Group
Let $G$ be a finite group and let $N$ be a normal abelian subgroup of $G$.
Let $\Aut(N)$ be the group of automorphisms of $G$.
Suppose that the orders of groups $G/N$ and $\Aut(N)$ are relatively prime.
Then prove that $N$ is contained in the center of […]

Two Quotients Groups are Abelian then Intersection Quotient is Abelian
Let $K, N$ be normal subgroups of a group $G$. Suppose that the quotient groups $G/K$ and $G/N$ are both abelian groups.
Then show that the group
\[G/(K \cap N)\]
is also an abelian group.
Hint.
We use the following fact to prove the problem.
Lemma: For a […]

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$ […]

Quotient Group of Abelian Group is Abelian
Let $G$ be an abelian group and let $N$ be a normal subgroup of $G$.
Then prove that the quotient group $G/N$ is also an abelian group.
Proof.
Each element of $G/N$ is a coset $aN$ for some $a\in G$.
Let $aN, bN$ be arbitrary elements of $G/N$, where $a, b\in […]

Commutator Subgroup and Abelian Quotient Group
Let $G$ be a group and let $D(G)=[G,G]$ be the commutator subgroup of $G$.
Let $N$ be a subgroup of $G$.
Prove that the subgroup $N$ is normal in $G$ and $G/N$ is an abelian group if and only if $N \supset D(G)$.
Definitions.
Recall that for any $a, b \in G$, the […]

Normal Subgroups, Isomorphic Quotients, But Not Isomorphic
Let $G$ be a group. Suppose that $H_1, H_2, N_1, N_2$ are all normal subgroup of $G$, $H_1 \lhd N_2$, and $H_2 \lhd N_2$.
Suppose also that $N_1/H_1$ is isomorphic to $N_2/H_2$. Then prove or disprove that $N_1$ is isomorphic to $N_2$.
Proof.
We give a […]

If the Quotient is an Infinite Cyclic Group, then Exists a Normal Subgroup of Index $n$
Let $N$ be a normal subgroup of a group $G$.
Suppose that $G/N$ is an infinite cyclic group.
Then prove that for each positive integer $n$, there exists a normal subgroup $H$ of $G$ of index $n$.
Hint.
Use the fourth (or Lattice) isomorphism theorem.
Proof. […]

Group of Order 18 is Solvable
Let $G$ be a finite group of order $18$.
Show that the group $G$ is solvable.
Definition
Recall that a group $G$ is said to be solvable if $G$ has a subnormal series
\[\{e\}=G_0 \triangleleft G_1 \triangleleft G_2 \triangleleft \cdots \triangleleft G_n=G\]
such […]

## 1 Response

[…] The proof of this problem is given in the post If quotient $G/H$ is abelian group and $H < K triangleleft G$, then $G/K$ is abelian. […]