Normal Subgroups and Quotient Groups

Group theory often studies structures by breaking them into simpler, understandable pieces or by building new structures from old ones. One of the most powerful techniques for this is the formation of quotient groups, which allows you to "divide" a group by a special kind of subgroup called a normal subgroup. This construction is not just an algebraic trick; it is fundamental to classifying groups, understanding symmetry, and analyzing the kernels of homomorphisms, forming a bridge between structure and transformation.

Defining Normal Subgroups: The Test of Conjugation

A subgroup $N$ of a group $G$ is called a normal subgroup if it is invariant under conjugation by any element of $G$. Formally, $N⊴G$ if and only if for every $g\in G$ and every $n\in N$, the element $gn{g}^{-1}$ is also in $N$.

You can think of conjugation as a change of perspective: $gn{g}^{-1}$ is the element $n$ as seen from the viewpoint of $g$. If a subgroup is normal, it looks the same no matter which group element's perspective you take. This property ensures that the set of cosets of $N$ can itself be given a well-defined group structure. Several equivalent definitions are useful:

1. Left and Right Cosets Coincide: For all $g\in G$, $gN=Ng$.
2. The Normal Subgroup Test: $N$ is normal if for all $g\in G$, $gN{g}^{-1}\subseteq N$.
3. Kernel Characterization: A subgroup is normal if and only if it is the kernel of some group homomorphism from $G$ to another group.

The kernel of a homomorphism $\varphi :G\to H$, defined as $\ker (\varphi )=\{g\in G:\varphi (g)=e_H\}$, is always a normal subgroup of $G$. This is because $\varphi (gn{g}^{-1})=\varphi (g)\varphi (n)\varphi (g{)}^{-1}=\varphi (g)e_H\varphi (g{)}^{-1}=e_H$.

Constructing the Quotient Group

Once you have a normal subgroup $N⊴G$, you can construct a new group called the quotient group (or factor group) $G/N$. Its elements are the distinct cosets of $N$ in $G$. The key insight is that normality makes the following operation well-defined: $$(aN)\cdot (bN)=(ab)N$$ If $N$ were not normal, this operation might depend on your choice of representative from each coset, leading to contradiction. The identity element in $G/N$ is the coset $eN=N$ itself. The inverse of a coset $aN$ is the coset $a^{-1}N$.

For example, consider the group of integers under addition, $\mathbb{Z}$, and its subgroup $n\mathbb{Z}=\{\dots ,-2n,-n,0,n,2n,\dots \}$ (all multiples of a fixed integer $n$). This subgroup is normal because $\mathbb{Z}$ is abelian. The quotient group $\mathbb{Z}/n\mathbb{Z}$ has elements $\{0+n\mathbb{Z},1+n\mathbb{Z},\dots ,(n-1)+n\mathbb{Z}\}$. The group operation is addition modulo $n$, so $\mathbb{Z}/n\mathbb{Z}$ is isomorphic to the familiar cyclic group ${\mathbb{Z}}_n$.

The Fundamental Homomorphism Theorem

The deep connection between normal subgroups, quotient groups, and homomorphisms is crystallized in the Fundamental Homomorphism Theorem (also called the First Isomorphism Theorem). It states: If $\varphi :G\to H$ is a group homomorphism, then the kernel $K=\ker (\varphi )$ is a normal subgroup of $G$, and the quotient group $G/K$ is isomorphic to the image of $\varphi$, denoted $\varphi (G)$.

Symbolically: $$G/\ker (\varphi )\cong \varphi (G)$$ This theorem provides a powerful blueprint. Any homomorphism essentially "factors through" its kernel: it can be seen as a composition of the natural quotient map $G\to G/K$ and an isomorphism from $G/K$ onto the image. This means quotient groups are not arbitrary; they are precisely the images of homomorphisms from the original group. The theorem is a primary tool for classifying groups up to isomorphism, as it allows you to relate unknown group structures to known quotients.

Examples in Abelian and Non-Abelian Groups

In abelian groups, every subgroup is normal because $gn{g}^{-1}=ng{g}^{-1}=n$. This makes the theory much simpler. For instance, in the cyclic group ${\mathbb{Z}}_6$, the subgroup $\{0,3\}$ is normal. The quotient ${\mathbb{Z}}_6/\{0,3\}$ has three elements: $\{0,3\}$, $\{1,4\}$, and $\{2,5\}$, and its structure is isomorphic to ${\mathbb{Z}}_3$.

Non-abelian groups provide more nuanced examples. Consider the symmetric group $S_3$, the group of permutations of three objects.

• The alternating subgroup $A_3=\{e,(123),(132)\}$ is normal in $S_3$. The quotient $S_3/A_3$ has two elements (the even permutations and the odd permutations) and is isomorphic to ${\mathbb{Z}}_2$.
• In contrast, the subgroup $H=\{e,(12)\}$ is not normal in $S_3$. Check by conjugation: take $g=(123)$ and $h=(12)$. Then $gh{g}^{-1}=(123)(12)(132)=(23)$, which is not an element of $H$. Therefore, you cannot form a well-defined quotient group $S_3/H$.

Another critical example is the center of a group, $Z(G)=\{z\in G:zg=gz\text{ for all }g\in G\}$. The center is always a normal (and abelian) subgroup. Quotienting by the center, $G/Z(G)$, often yields a group with a trivial center, which is a step in understanding the structure of non-abelian groups.

Application to Classification and Structure Theorems

The machinery of normal subgroups and quotient groups is indispensable for classifying groups and decomposing complex structures. The Jordan-Hölder Theorem states that any finite group has a composition series—a chain of subgroups $G=G_0▹G_1▹...▹G_n=\{e\}$ where each $G_{i+1}$ is a maximal normal subgroup of $G_i$. The quotient groups $G_i/G_{i+1}$, called composition factors, are simple groups (groups with no non-trivial normal subgroups). The theorem asserts that these simple factors are unique up to isomorphism and rearrangement. This reduces the classification of all finite groups to the classification of finite simple groups.

Furthermore, the concept of a direct product is related. If you have two normal subgroups $N$ and $K$ of $G$ such that $N\cap K=\{e\}$ and every element of $G$ can be written as $nk$ for $n\in N,k\in K$, then $G$ is the internal direct product $N\times K$, which is isomorphic to the external direct product. Here, $N$ and $K$ are both normal, and each is isomorphic to a quotient of $G$ (e.g., $G/K\cong N$).

Common Pitfalls

1. Assuming all subgroups are normal. In non-abelian groups, this is false. Always verify the condition $gn{g}^{-1}\in N$ for all $g\in G$, or use the coset condition $gN=Ng$. The subgroup $\{e,(12)\}$ in $S_3$ is a classic counterexample.
2. Misunderstanding the elements of $G/N$. The elements of the quotient group are sets (cosets), not individual elements of $G$. When you write $aN\in G/N$, you are referring to the entire coset. The operation $(aN)(bN)=(ab)N$ combines these sets.
3. Forgetting that $G/N$ is defined only for normal $N$. Attempting to define a group operation on the set of cosets of a non-normal subgroup leads to an inconsistent, ill-defined operation. Normality is the precise condition that makes the construction work.
4. Confusing $G/N$ with a subgroup of $G$. In general, the quotient group $G/N$ is not a subgroup of $G$. It is an entirely new group whose structure is related to, but distinct from, $G$. For example, $\mathbb{Z}/n\mathbb{Z}$ is finite while $\mathbb{Z}$ is infinite.

Summary

• A normal subgroup $N⊴G$ is one invariant under conjugation ($gN{g}^{-1}\subseteq N$), equivalent to having left and right cosets that coincide ($gN=Ng$).
• The quotient group $G/N$ is formed by the cosets of a normal subgroup $N$, with the well-defined operation $(aN)(bN)=(ab)N$. The identity is the coset $N$, and inverses are given by $(aN{)}^{-1}=a^{-1}N$.
• Normal subgroups are precisely the kernels of group homomorphisms. The Fundamental Homomorphism Theorem establishes the isomorphism $G/\ker (\varphi )\cong \varphi (G)$, linking quotient structures to homomorphic images.
• In abelian groups, all subgroups are normal, simplifying analysis. In non-abelian groups, normality must be checked; key examples include the alternating subgroup $A_n$ in $S_n$ and the center $Z(G)$.
• These concepts are foundational for classification theorems, such as the Jordan-Hölder Theorem, which uses quotients from a composition series to break any finite group into a unique list of simple groups.