semidirect product
The direct product glues two groups together so they ignore each other entirely. A semidirect product is the next level of intimacy: one factor is still normal, but the other factor is allowed to act on it, twisting it by automorphisms. This single twist is what produces nonabelian groups like the symmetries of a polygon out of two abelian rotations and reflections.
Concretely, suppose a group G has a normal subgroup N and a subgroup H with N ∩ H = {1} and NH = G — that is, H is a complement to N. Then G is the (internal) semidirect product N ⋊ H, and every element of G factors uniquely as n·h. Multiplication is governed by how H conjugates N: (n_1 h_1)(n_2 h_2) = (n_1 · h_1 n_2 h_1^{-1})(h_1 h_2). Externally, given any homomorphism φ : H -> Aut(N), one builds N ⋊_φ H on the set N x H with product (n_1, h_1)(n_2, h_2) = (n_1 · φ(h_1)(n_2), h_1 h_2).
The direct product is the special case where the action φ is trivial. When φ is nontrivial the result is genuinely twisted and usually nonabelian. The honest subtlety is that a semidirect product is exactly a split extension: it captures only those extensions 1 -> N -> G -> H -> 1 that admit a complement H mapping isomorphically onto the quotient. Extensions without a complement (non-split ones) are not semidirect products and require group cohomology to classify.
The dihedral group D_n is the semidirect product Z/nZ ⋊ Z/2Z, where the order-2 reflection acts on the rotation subgroup by inversion r -> r^{-1}. The Euclidean group of the plane is similarly R^2 ⋊ O(2): translations form the normal subgroup, and rotations/reflections act on them.
The dihedral group as a semidirect product.