Understanding Quotient Groups and Their Structure

1. Visualizing the Quotient: Collapsing Cosets

Before diving into the algebraic formalism, let's develop a strong visual intuition for what a quotient group represents. We can think of its construction as a three-step process applied to the Cayley diagram of the original group $G$:

1. Organize: Rearrange the Cayley diagram of $G$ so that the elements of the normal subgroup $N$ are clustered together, and the elements of each of its cosets are also clustered.
2. Collapse: Shrink each coset cluster into a single, large node. All the internal arrows within a coset disappear.
3. Unite: Arrows that previously connected elements in different cosets now connect the new, large nodes. If multiple arrows of the same type connect the same two coset-nodes, they are united into a single arrow.

If $N$ is a normal subgroup, this process always results in a valid Cayley diagram for a new, smaller group: the quotient group $G/N$.

The following video provides an excellent dynamic illustration of this process.

The key insight is that the normality of the subgroup guarantees that the resulting structure of coset-nodes and connecting arrows is consistent and forms a valid group. When the subgroup is not normal, the connections become ambiguous, and the structure collapses into something that is not a group.

2. The Formal Construction of a Quotient Group

Let's now translate this visual intuition into a precise algebraic construction.

Let $G$ be a group and $N$ be a normal subgroup of $G$ (denoted $N◃G$). The quotient group $G/N$ is defined as follows:

1. Elements: The elements of the set $G/N$ are the cosets of $N$ in $G$. $$G/N=\{gN\mid g\in G\}$$
2. Binary Operation: The group operation is defined as the product of cosets: $$(aN)\cdot (bN)=(ab)N$$ As we established in the previous lesson, this operation is well-defined precisely because $N$ is normal.

To confirm that $G/N$ is indeed a group, we must verify the four group axioms.

Let's summarize the verification of the group axioms:

• Closure: The product of two cosets, $(aN)(bN)$, results in the coset $(ab)N$, which is by definition an element of $G/N$.
• Associativity: This follows directly from the associativity in $G$: $$((aN)(bN))(cN)=(ab)N(cN)=((ab)c)N=(a(bc))N=aN(bcN)=(aN)((bN)(cN))$$
• Identity Element: The coset $eN=N$ acts as the identity element, since $(aN)(N)=(aN)(eN)=(ae)N=aN$.
• Inverse Element: The inverse of the coset $aN$ is the coset $a^{-1}N$, since $(aN)(a^{-1}N)=(a{a}^{-1})N=eN=N$.

Furthermore, by Lagrange's theorem, the number of distinct cosets is the index of the subgroup, $[G:N]$. Therefore, the order of the quotient group is:

3. Understanding the Structure and Meaning of Quotient Groups

The algebraic construction is complete, but what does a quotient group truly represent?

The Analogy with Integer Division

The name "quotient" is inspired by arithmetic. When we compute $12/4=3$, we are partitioning a set of 12 objects into 3 disjoint classes, each containing 4 objects. The quotient group construction does something analogous but with group structure. We partition the group $G$ into disjoint cosets of $N$, and the quotient group is the group formed by these cosets. We are effectively treating the entire subgroup $N$ as the identity element of the new group.

The Natural Homomorphism

There is a canonical map, $\varphi$, from the original group $G$ to its quotient group $G/N$, defined by:

This map simply sends each element of $G$ to the coset it belongs to. This map is a surjective group homomorphism called the natural homomorphism. The fact that it is a homomorphism means it preserves the group structure: $\varphi (ab)=(ab)N=(aN)(bN)=\varphi (a)\varphi (b)$.

Crucially, the kernel of this homomorphism—the set of elements in $G$ that are mapped to the identity element $N$ in $G/N$—is exactly the normal subgroup $N$ itself.

This relationship is fundamental and will be the cornerstone of the isomorphism theorems we will study later.

4. Physical Examples of Quotient Groups

The abstract concept of a quotient group finds powerful applications in physics, where it allows us to isolate and study specific aspects of a system's symmetry.

Rotational Symmetry: $\mathbb{R}/\mathbb{Z}\cong U(1)\cong SO(2)$

This is a quintessential example connecting continuous groups.

• Let the group $G$ be the real numbers under addition, $(\mathbb{R},+)$.
• Let the subgroup $N$ be the integers, $(\mathbb{Z},+)$. Since $G$ is abelian, $N$ is normal.
• The elements of the quotient group $\mathbb{R}/\mathbb{Z}$ are the cosets $x+\mathbb{Z}$, where $x\in \mathbb{R}$. Two numbers $x_1$ and $x_2$ are in the same coset if they differ by an integer. This means we only need to consider representatives in the interval $[0,1)$ to label all unique cosets.
• The group operation is $(x+\mathbb{Z})+(y+\mathbb{Z})=(x+y)+\mathbb{Z}$, which is addition modulo 1.

This group $\mathbb{R}/\mathbb{Z}$ is isomorphic to the group $U(1)$ of complex numbers with magnitude 1 under multiplication, via the map $x+\mathbb{Z}\mapsto e^{2\pi ix}$. Physically, $U(1)$ describes phases in quantum mechanics and is also isomorphic to $SO(2)$, the group of rotations in a 2D plane. The quotient construction elegantly shows how rotational symmetry, where adding $2\pi$ (or 1, with appropriate scaling) returns you to the same state, emerges from "factoring out" discrete translations from the continuous line.

Crystal Symmetries: Point Groups as Quotient Groups

Your background in condensed matter physics makes this next example particularly relevant. The symmetry of a crystal lattice is described by its space group $G$. The elements of a space group are pairs $(A|u)$, representing a point group operation $A$ (a rotation or reflection) followed by a translation $u$.

• The set of all pure translations $T=\{(I|t)\}$ within the space group forms a subgroup.
• Crucially, this subgroup of translations $T$ is a normal subgroup of the space group $G$. We can see this by conjugating a translation $(I|t)$ by an arbitrary space group element $(A|u)$: $$(A|u)(I|t)(A|u{)}^{-1}=(A|u)(I|t)(A^{-1}|-A^{-1}u)=(A|u+At)(A^{-1}|-A^{-1}u)=(I|u+At-A(A^{-1}u))=(I|At)$$ Since $t$ is a lattice translation and $A$ is a point group operation that preserves the lattice, $At$ is also a lattice translation. Therefore, $(I|At)\in T$, proving that $T$ is normal.

Since $T$ is a normal subgroup, we can form the quotient group $G/T$. The elements of this quotient group are the cosets of the translation group. What does this quotient group represent? It is isomorphic to the point group $P$ of the crystal.

This construction provides a profound insight: the macroscopic symmetries of a crystal (the point group, which dictates properties like its optical response and X-ray diffraction pattern) are what remain of the full space group symmetry after we "factor out" or "ignore" the microscopic translational structure.

Conclusion

In this lesson, we have formally constructed the quotient group $G/N$ and explored its significance. By partitioning a group $G$ using the cosets of a normal subgroup $N$, we can create a new, simpler group that retains the essential structure of $G$ while treating $N$ as trivial.

Key takeaways from this lesson include:

• The quotient group $G/N$ consists of the cosets of a normal subgroup $N$, with the operation $(aN)(bN)=(ab)N$.
• The construction can be visualized as collapsing cosets in a Cayley diagram into single nodes.
• The order of the quotient group is $|G/N|=|G|/|N|$.
• The quotient group structure is deeply connected to the physics of symmetry. For instance, the group of 2D rotations $SO(2)$ can be constructed as $\mathbb{R}/\mathbb{Z}$, and the point group of a crystal is the quotient of the full space group by its translation subgroup.
• There exists a natural surjective homomorphism $\varphi :G\to G/N$ whose kernel is precisely $N$.

This last point is a powerful result that provides a bridge to our next topic. Having explored ways to build larger groups (direct products) and smaller groups (quotients), we will next focus on the maps that preserve structure between groups: homomorphisms and isomorphisms. The natural homomorphism we saw today is just one example, and understanding these maps more generally will lead us to the fundamental isomorphism theorems, which are the bedrock of structural analysis in group theory.