Direct Products of Groups: Explained with Examples

The direct product G × H is the group of ordered pairs (g, h) with coordinate-wise operation: (g_1, h_1)·(g_2, h_2) = (g_1·g_2, h_1·h_2). It is the simplest way to build a bigger group from two smaller ones, running both structures in parallel with no interaction between coordinates.

Direct products are the building blocks of group theory: the structure theorem for finite abelian groups says every finite abelian group is a product of cyclic groups. Deciding when a product is cyclic, or when a group splits as a product, is a core classification skill.

Key Concepts

• Operation: coordinate-wise; identity (e_G, e_H); inverse (g, h)^{-1} = (g^{-1}, h^{-1}).
• Size: |G × H| = |G| · |H|. Element order: order(g, h) = lcm(order(g), order(h)).
• Embedded copies: G × {e_H} ≅ G and {e_G} × H ≅ H are normal subgroups of G × H.
• Cyclicity test: ℤ_m × ℤ_n is cyclic iff gcd(m, n) = 1, and then ≅ ℤ_{mn}.

Formulas

• Multiplication: (g_1, h_1)(g_2, h_2) = (g_1 g_2, h_1 h_2). (Abstract algebra; no physical units.)
• Order of an element: order(g, h) = lcm(order(g), order(h)).
• Cyclic product: ℤ_m × ℤ_n ≅ ℤ_{mn} iff gcd(m, n) = 1.
• Limit: the gcd test is only for cyclic factors; a product with a non-abelian factor is never cyclic.

Worked Example

ℤ_2 × ℤ_3 has 6 elements and gcd(2, 3) = 1, so it should be cyclic. The element (1, 1) has order lcm(2, 3) = 6; its multiples are (1,1), (0,2), (1,0), (0,1), (1,2), (0,0) — all six elements, so ℤ_2 × ℤ_3 ≅ ℤ_6. Contrast ℤ_2 × ℤ_2: gcd(2, 2) ≠ 1, and every element satisfies 2·v = (0,0), so no element has order 4 — it is the Klein four-group, not cyclic.

Common Misconceptions

• "G × H is always cyclic if G and H are." Only with the coprime condition: ℤ_4 × ℤ_6 is not cyclic even though both factors are.
• "The order of (g, h) is order(g) · order(h)." It is the lcm, not the product: in ℤ_2 × ℤ_2, (1, 1) has order lcm(2,2) = 2, not 4.
• "Every group is a direct product of smaller groups." Many are not — S_3, for instance, does not split as a direct product of nontrivial groups.

Real-World Applications

• Abelian group classification: every finite abelian group is a product of cyclic p-groups — the complete inventory of finite abelian groups.
• Chinese remainder theorem: ℤ_{mn} ≅ ℤ_m × ℤ_n for coprime m, n, the basis of fast modular arithmetic in cryptography.
• Symmetry: the symmetry group of a rectangle is ℤ_2 × ℤ_2 (flip horizontal and flip vertical independently).
• Linear algebra: vector spaces decompose as direct sums, the additive cousin of direct products.

The direct product runs two groups side by side with no interaction; its size multiplies, element orders take lcms, and the coprime test tells you exactly when the product of cyclic groups stays cyclic.