Essential Concepts of Cosets

Why This Matters

Cosets are one of the most powerful tools in abstract algebra for understanding how groups break apart into structured pieces. When you're working with a group $G$ and a subgroup $H$, cosets let you partition the entire group into equally-sized, non-overlapping chunks—and this simple idea unlocks major theorems like Lagrange's Theorem, the construction of quotient groups, and deep insights into group symmetry. You're being tested on your ability to recognize how cosets organize group elements, why left and right cosets might differ, and when coset multiplication actually makes sense.

Don't just memorize the formula $gH = \{gh \mid h \in H\}$—understand what it represents geometrically and algebraically. Know which conditions make coset operations well-defined, how the index connects to group order, and why normal subgroups are the key to building new groups from old ones. These concepts form the backbone of group structure theory and appear repeatedly in proofs and problem-solving.

---

Building Blocks: Coset Definitions

A coset collects all products of a fixed group element with every element of a subgroup, creating a "shifted copy" of that subgroup within the larger group.

Definition of a Coset

• Two types exist: left and right—given group $G$ and subgroup $H$, the left coset is $gH = \{gh \mid h \in H\}$ and the right coset is $Hg = \{hg \mid h \in H\}$
• Cosets partition $G$ into disjoint subsets—every element of $G$ belongs to exactly one coset, with no overlaps
• The subgroup itself is always a coset—specifically, $eH = H = He$ where $e$ is the identity element

Left Cosets

• Formed by left multiplication—multiply the fixed element $g$ on the left of every element in $H$
• All left cosets have identical size—$|gH| = |H|$ for any $g \in G$, which is essential for counting arguments
• Equality test: $g_1H = g_2H$ if and only if $g_1^{-1}g_2 \in H$—this equivalence relation defines the partition

Right Cosets

• Formed by right multiplication—multiply the fixed element $g$ on the right: $Hg = \{hg \mid h \in H\}$
• Same cardinality as left cosets—$|Hg| = |H|$, so the number of left cosets equals the number of right cosets
• Equality test: $Hg_1 = Hg_2$ if and only if $g_1g_2^{-1} \in H$—note the different inverse position compared to left cosets

Coset Representatives

• One element chosen to "name" each coset—any element $g \in gH$ can serve as the representative for that coset
• Choice is not unique—if $g_1H = g_2H$, both $g_1$ and $g_2$ are valid representatives for the same coset
• Strategic selection simplifies proofs—choosing representatives with special properties (like smallest positive integer in number theory contexts) can streamline calculations

---

Counting and Structure: Index and Lagrange's Theorem

The index measures how many "copies" of a subgroup fit inside the full group, leading directly to one of algebra's most fundamental results.

Index of a Subgroup

• Definition: $[G : H]$ equals the number of distinct cosets of $H$ in $G$—this counts both left and right cosets (the numbers are always equal)
• Finite group formula: $[G : H] = |G| / |H|$ when $G$ is finite—this ratio is always a positive integer
• Measures "relative size"—the index tells you how much larger $G$ is than $H$ in terms of coset structure

Lagrange's Theorem

• The order of $H$ divides the order of $G$—written $|H| \mid |G|$, this is the foundational divisibility result in finite group theory
• Proof relies on coset partition—since cosets are disjoint, equal-sized, and cover $G$, we get $|G| = [G:H] \cdot |H|$
• Immediate consequences: the order of any element divides $|G|$, and groups of prime order have no proper nontrivial subgroups

---

When Cosets Behave: Normal Subgroups and Operations

Coset multiplication only works consistently when left and right cosets coincide—this special condition defines normal subgroups.

Coset Multiplication

• Attempted definition: $(g_1H)(g_2H) = g_1g_2H$—this tries to multiply cosets by multiplying representatives
• Problem: may not be well-defined—different representatives could give different results unless $H$ has special properties
• Well-defined precisely when $H$ is normal—normality ensures the product is independent of representative choice

Normal Subgroups and Cosets

• Normality condition: $H$ is normal in $G$ (written $H \triangleleft G$) if $gH = Hg$ for all $g \in G$
• Equivalent formulation: $gHg^{-1} = H$ for all $g$—the subgroup is "stable under conjugation"
• Critical importance: normality is the exact condition needed to turn cosets into a group via multiplication

Quotient Groups

• Construction: $G/H = \{gH \mid g \in G\}$ with operation $(g_1H)(g_2H) = g_1g_2H$—only valid when $H \triangleleft G$
• The cosets become elements—the quotient group "collapses" $H$ to the identity element of the new group
• Order formula: $|G/H| = [G:H]$—the quotient group has as many elements as there are cosets

---

Computational Techniques: Enumeration and Representatives

Counting cosets and choosing representatives strategically are practical skills for solving group theory problems.

Coset Enumeration

• Goal: systematically list all distinct cosets of $H$ in $G$—essential for computing index and understanding group structure
• Method: pick elements $g \in G$ and compute $gH$ until all of $G$ is covered—stop when no new cosets appear
• Connection to orbit-stabilizer: for group actions, coset counting relates to orbit sizes via $|G| = |\text{Orb}(x)| \cdot |\text{Stab}(x)|$

---

Quick Reference Table

---

Self-Check Questions

1. If $H$ is a subgroup of $G$ with $|G| = 24$ and $|H| = 6$, how many distinct left cosets does $H$ have in $G$? What theorem guarantees this is an integer?

2. Compare left cosets and right cosets: under what condition on $H$ are they guaranteed to be the same sets? Give the name of this property.

3. Why does coset multiplication $(g_1H)(g_2H) = g_1g_2H$ fail to be well-defined for non-normal subgroups? What could go wrong with different representative choices?

4. Two elements $g_1, g_2 \in G$ satisfy $g_1H = g_2H$. What can you conclude about $g_1^{-1}g_2$? How does this relate to the equivalence relation defined by cosets?

5. Explain how Lagrange's Theorem follows from the fact that cosets partition a group into equal-sized disjoint subsets. If an FRQ asks you to prove a subgroup has a specific index, what's your strategy?