The direct product G × H of two groups is the Cartesian product with component-wise multiplication: (g₁, h₁)(g₂, h₂) = (g₁g₂, h₁h₂). Direct products are the basic way to build new groups from existing ones.
Think of the direct product G × H as running two independent groups in parallel. Each element is a pair (g, h) — one component from G and one from H — and multiplying two pairs just means multiplying the G-components together and the H-components together separately. The two groups never interfere with each other. The identity is (e_G, e_H), and the inverse of (g, h) is (g⁻¹, h⁻¹). You can verify the group axioms component-wise, so the structure is automatic once G and H are groups.
The direct product comes with two natural projections — π₁(g, h) = g and π₂(g, h) = h — and two natural embeddings: G injects into G × H as {(g, e_H)}, and H injects as {(e_G, h)}. These embedded copies are normal subgroups of G × H (you can verify this using the isomorphism theorems you already know), and their intersection is just the identity. The whole group G × H is generated by these two normal subgroups together, and every element factors uniquely as a product of one element from each. This is the internal direct product perspective: a group that decomposes this way into two normal subgroups with trivial intersection is isomorphic to their direct product.
A concrete example with cyclic groups illuminates the key structural insight. Consider ℤ₂ × ℤ₃: its elements are pairs {(0,0), (0,1), (0,2), (1,0), (1,1), (1,2)}, and the group has order 6. What is the order of the element (1,1)? Since (1,1) added to itself gives (0,2), then (1,0), then (0,1), then (1,2), then (0,0) — it takes 6 steps. So (1,1) has order 6, meaning ℤ₂ × ℤ₃ has an element of order 6 and is therefore cyclic: ℤ₂ × ℤ₃ ≅ ℤ₆. The key fact here is the Chinese Remainder Theorem for groups: ℤ_m × ℤ_n ≅ ℤ_{mn} if and only if gcd(m, n) = 1. When the orders share a common factor, the product cannot be cyclic — ℤ₂ × ℤ₂ has no element of order 4.
This observation points directly toward the classification of finite abelian groups, which is the main application of direct products. Every finite abelian group decomposes as a direct product of cyclic groups, and the direct product construction is precisely the tool that lets us state and prove this. The second isomorphism theorem you already know governs when a group breaks into a product of its subgroups; direct products give you the external version of that decomposition. Once you can factor groups into cyclic pieces, you can read off all their structural properties — order, number of elements of each order, whether two groups are isomorphic — just by examining the cyclic factors.