Build new groups from old ones and watch quotient groups collapse into existence
Groups can be combined to make bigger groups (direct products) or collapsed to make smaller ones (quotient groups). The direct product G x H pairs elements from two groups. A quotient group G/N glues together elements in the same coset of a normal subgroup N.
Build Z_m x Z_n as a grid. Each element is a pair (a, b) and multiplication is componentwise modular addition. See how the grid structure reflects the two factors.
| * | (0,0) | (0,1) | (0,2) | (1,0) | (1,1) | (1,2) |
|---|---|---|---|---|---|---|
| (0,0) | (0,0) | (0,1) | (0,2) | (1,0) | (1,1) | (1,2) |
| (0,1) | (0,1) | (0,2) | (0,0) | (1,1) | (1,2) | (1,0) |
| (0,2) | (0,2) | (0,0) | (0,1) | (1,2) | (1,0) | (1,1) |
| (1,0) | (1,0) | (1,1) | (1,2) | (0,0) | (0,1) | (0,2) |
| (1,1) | (1,1) | (1,2) | (1,0) | (0,1) | (0,2) | (0,0) |
| (1,2) | (1,2) | (1,0) | (1,1) | (0,2) | (0,0) | (0,1) |
Each cell shows (a+a' mod 2, b+b' mod 3). The grid-like structure comes from the two factors.
Key insight: Z2 x Z3 is isomorphic to Z6 (since gcd(2,3) = 1). But Z2 x Z2 is the Klein four-group V4, which is NOT cyclic -- it has no element of order 4.
A subgroup is normal if left and right cosets are the same. Compare left cosets gH with right cosets Hg. Only normal subgroups allow quotient construction.
Left and right cosets are equal -- this is a normal subgroup, so we can form a quotient group.
Key insight: In S3, the subgroup { e, (0 1 2), (0 2 1) } of rotations is normal (index 2 subgroups are always normal). But { e, (0 1) }is NOT normal -- its left and right cosets differ.
Watch the most dramatic visualization in group theory: start with a full Cayley diagram, color by cosets of a normal subgroup, then animate the nodes collapsing to their coset centroids. The result is the quotient group.
Key insight: The quotient group G/N "forgets" the internal structure of each coset, keeping only how cosets multiply with each other. S3/A3 collapses to Z2 -- just "even or odd."