Mathematics.

group theory

Direct Products of Groups

Abstract Algebra I30 minDifficulty5 out of 10

You should know: group mathematics

Overview

The direct product G × H of two groups G and H is the set of ordered pairs (g, h) with componentwise operation, itself forming a new group whose order is |G|×|H|. Direct products are the simplest way to build larger groups from smaller ones and, via the Fundamental Theorem of Finite Abelian Groups, every finite abelian group decomposes as a direct product of cyclic groups of prime-power order. The internal direct product characterizes when a group G actually splits as (is isomorphic to) A × B using two of its own normal subgroups.

Intuition

G × H is like tracking two independent 'gauges' at once: an element is a pair (g, h), and combining two elements just combines each gauge on its own, with no interaction between them. This is exactly why ℤ₂ × ℤ₃ behaves like ℤ₆ — the two independent cycles (period 2 and period 3) interleave without ever synchronizing early, giving a single combined cycle of length lcm(2,3)=6. But when the factors share a common period, like ℤ₂ × ℤ₂, no element can have order greater than 2, so the result is NOT cyclic (it's the Klein four-group).

Formal Definition

Definition

For groups (G, ·_G) and (H, ·_H), the external direct product is:

G×H={(g,h):g∈G,h∈H},(g1,h1)(g2,h2)=(g1g2, h1h2)G \times H = \{ (g,h) : g \in G, h \in H \}, \quad (g_1,h_1)(g_2,h_2) = (g_1 g_2,\ h_1 h_2)
External direct product
∣G×H∣=∣G∣⋅∣H∣|G \times H| = |G|\cdot|H|
Order of the product
G≅A×B  ⟺  A,B⊴G, A∩B={e}, AB=GG \cong A \times B \iff A,B \trianglelefteq G,\ A \cap B = \{e\},\ AB = G
Internal direct product characterization
Zm×Zn≅Zmn  ⟺  gcd⁡(m,n)=1\mathbb{Z}_m \times \mathbb{Z}_n \cong \mathbb{Z}_{mn} \iff \gcd(m,n) = 1
Chinese Remainder Theorem for cyclic groups

Worked Examples

  1. gcd(2,3) = 1, so by the Chinese Remainder Theorem for groups, ℤ₂ × ℤ₃ ≅ ℤ₆.

    gcd⁡(2,3)=1  ⟹  Z2×Z3≅Z6\gcd(2,3)=1 \implies \mathbb{Z}_2 \times \mathbb{Z}_3 \cong \mathbb{Z}_6

  2. The order of (1,1) is the lcm of the orders of 1 in ℤ₂ (order 2) and 1 in ℤ₃ (order 3).

    ord⁡((1,1))=lcm⁡(2,3)=6\operatorname{ord}((1,1)) = \operatorname{lcm}(2,3) = 6

Answer: ℤ₂ × ℤ₃ is cyclic (≅ ℤ₆), and (1,1) has order 6, generating the whole group.

Practice Problems

Difficulty 4/10

What is |ℤ₄ × ℤ₆|, and is this group cyclic?

Difficulty 5/10

Decompose ℤ₁₂ as a direct product of cyclic groups of prime-power order.

Difficulty 6/10

A group G of order 12 has normal subgroups A of order 4 and B of order 3 with A∩B={e} and AB=G. What can you conclude about G, and is it necessarily ℤ₁₂?

Quiz

The order of the direct product G × H is:
ℤ_m × ℤ_n is cyclic (isomorphic to ℤ_{mn}) precisely when:
The internal direct product characterization requires subgroups A, B of G with:

Summary

  • G × H has componentwise operation and order |G|·|H|; it's the simplest way to combine groups.
  • ℤ_m × ℤ_n ≅ ℤ_{mn} exactly when gcd(m,n)=1 (Chinese Remainder Theorem for groups); otherwise it is not cyclic.
  • Internally, G ≅ A×B when A, B ⊴ G, A∩B={e}, and AB=G — the basis for decomposing finite abelian groups into prime-power cyclic pieces.

References

  1. WebsiteWikipedia — Direct product of groups