If you find any mistakes, please make a comment! Thank you.

Every quotient of an abelian group is abelian

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 3.1 Exercise 3.1.3

Let $A$ be an abelian group and let $B \leq A$. Prove that $A/B$ is abelian. Give an example of a nonabelian group $G$ containing a proper normal subgroup $N$ such that $G/N$ is abelian.


Lemma: Let $G$ be a group. If $|G| = 2$, then $G \cong Z_2$.

Proof: Since $G = \{ e a \}$ has an identity element, say $e$, we know that $ee = e$, $ea = a$, and $ae = a$. If $a^2 = a$, we have $a = e$, a contradiction. Thus $a^2 = e$. We can easily see that $G \cong Z_2$. $\square$

If $A$ is abelian, every subgroup of $A$ is normal; in particular, $B$ is normal, so $A/B$ is a group. Now let $xB$, $yB \in A/B$. Then $$(xB)(yB) = (xy)B = (yx)B = (yB)(xB).$$ Hence $A/B$ is abelian.

Consider $\langle i \rangle \leq Q_8$. We saw in a previous exercise that the normalizer of $\langle i \rangle$ in $Q_8$ is all of $Q_8$, so that $\langle i \rangle$ is normal. Since $Q_8$ has 8 elements and $\langle i \rangle$ has 4 elements, $Q_8/\langle i \rangle$ has 2 elements. Thus $Q_8/\langle i \rangle \cong Z_2$, which is abelian.


This website is supposed to help you study Linear Algebras. Please only read these solutions after thinking about the problems carefully. Do not just copy these solutions.
Close Menu