Skip to main content

Section 15.3 Normal subgroups and quotient groups: Pre-read

Subsection Recognizing when two cosets are actually the same coset

It will be often the case that we want a simple way to check whether cosets

\begin{equation*} x H, \qquad y H \end{equation*}

are actually the same coset without listing out all the elements of both cosets. Recall that (left) cosets partition the group, so each element is in exactly one coset. As \(H\) is a subgroup, it contains \(e\text{,}\) hence \(y H\) always contains \(y\text{.}\) Therefore, if we knew that \(x H\) contained \(y\) as well, then \(x H\) would have to be the same coset as \(y H\text{.}\)

Subsection Normal subgroups and the quotient group

In the textbook, you read about normal subgroups. The normal property is precisely the condition needed so that defining a group operation on cosets makes sense.

Definition 15.3.2. Normal subgroup.

A subgroup that is made up of one or more whole conjugacy classes taken together.

Warning 15.3.4.

When \(H\) is normal, then \(G/H\) is a group, but it is not a subgroup of \(G\).

The way you should think of \(G/H\) is that it is a new group that shares something of the same algebraic patterns as \(G\) (since the group operation on \(G/H\) involves using the group operation of \(G\) on pairs of elements from cosets of \(H\)), but with the algebraic patterns of \(H\) “removed” or “divided out.”

Here are some other ways of checking whether a group is normal.

Note 15.3.6.

If one of the conditions in Fact 15.3.5 is true, then they all will be true, but you only need to check one.

Subsection Commutators

Abelian groups are obviously simpler than non-Abelian groups. We will see in an example in the Discovery guide following this Pre-read section that it is possible for a non-Abelian group to have an Abelian quotient. (See Discovery 15.15.) This is desirable because the quotient still retains some of the information of the group \(G\text{,}\) but in an Abelian form.

The natural question is: for non-Abelian \(G\text{,}\) what is the smallest possible normal subgroup \(H\) so that the quotient \(G/H\) is Abelian? (The reason we want \(H\) to be as small as possible is so that \(G/H\) will be as big as possible, hence will retain more of the information of \(G\text{.}\))

If \(G\) were Abelian, then

\begin{equation*} x y = y x \end{equation*}

would be true for every pair of elements \(x,y\) in \(G\text{.}\) Rearranging, if \(G\) were Abelian, then

\begin{equation*} \commutator{x}{y} = e \end{equation*}

would always be true. (Remember: Order of multiplication matters in a non-Abelian group!)

Definition 15.3.7. Commutator element.

A group element that is somehow of the form \(\commutator{x}{y} \) for some pair of group elements \(x, y\text{.}\)

We want to form a subgroup \(H\) that will allow us to “divide away” all the troublesome elements in the quotient \(G/H\text{.}\) And here the commutators are precisely the troublesome elements — \(G\) is non-Abelian precisely because there are non-trivial commutators. The smallest subgroup that contains a particular collection of elements is the one generated by those elements.

Definition 15.3.8. Commutator subgroup.

The subgroup generated by the collection of commutator elements. We write \(\commutatorgrp{G}\) to denote this subgroup.

Warning 15.3.9.

In general, the commutator subgroup contains more than just the commutator elements. (Look back at the definition of the subgroup generated by a collection of elements.)