Semidirect product

In group theory, the semidirect product of two groups $H$ and $K$ with respect to a homomorphism $\phi: K \to \Aut(H)$ is a group $G = H \rtimes_\phi K$ whose underlying set is the Cartesian product $H \times K$, equipped with the multiplication $(h_1, k_1)(h_2, k_2) = (h_1 \cdot \phi(k_1)(h_2), k_1 k_2)$.^[1][2] This construction identifies $H \times \{e_K\}$ as a normal subgroup of $G$ isomorphic to $H$ and $\{e_H\} \times K$ as a subgroup isomorphic to $K$, with the order of $G$ equal to $|H| \cdot |K|$.^[1][2] Unlike the direct product, where the operation is componentwise and both subgroups are normal with trivial action ($\phi$ is the trivial homomorphism), the semidirect product introduces a "twisted" action of $K$ on $H$ via automorphisms, which may render $K$ non-normal and the resulting group non-abelian even if both $H$ and $K$ are abelian.^[1][2] When $\phi$ is trivial, the semidirect product coincides with the direct product.^[1][2] Semidirect products can be defined externally via this explicit construction or internally when a group $G$ contains a normal subgroup $N \cong H$ complemented by a subgroup $Q \cong K$ such that $N \cap Q = \{e\}$ and $NQ = G$, with the action arising from conjugation.^[1][2] Prominent examples include the dihedral group $D_n \cong \mathbb{Z}/n\mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, where $\mathbb{Z}/2\mathbb{Z}$ acts by inversion on the cyclic group of rotations, and the symmetric group $S_n \cong A_n \rtimes \mathbb{Z}/2\mathbb{Z}$ for $n \geq 3$, with the action via conjugation by a transposition.^[1][2] Another is the non-abelian group of order $pq$ (primes $p < q$, $p \mid q-1$) given by $\mathbb{Z}/q\mathbb{Z} \rtimes \mathbb{Z}/p\mathbb{Z}$.^[1][2] Semidirect products are fundamental for classifying finite groups, such as those of order $pq$, $p^3$, or square-free order, where they often decompose into cyclic or abelian components with specified actions.^[1] They also arise in representation theory, Lie groups, and extensions of groups, providing a bridge between direct products and more general split extensions.^[1]

Definitions

Inner semidirect product

In group theory, the inner semidirect product provides a concrete realization of a group $G$ as a product of a normal subgroup and a complementary subgroup, where the interaction between them is governed by conjugation.^[1] Specifically, $G$ is the inner semidirect product of a normal subgroup $N \trianglelefteq G$ by a subgroup $H \leq G$, denoted $G = N \rtimes H$, if $N \cap H = \{e\}$ and $G = NH$, meaning every element of $G$ can be uniquely expressed as a product $nh$ with $n \in N$ and $h \in H$.^[1] This decomposition ensures that the map $f: N \times H \to G$ given by $f(n, h) = nh$ is a group isomorphism, with the group operation on $N \times H$ defined by $(n_1, h_1)(n_2, h_2) = (n_1 \cdot \phi_{h_1}(n_2), h_1 h_2)$, where $\phi: H \to \Aut(N)$ is the homomorphism induced by conjugation, $\phi_h(n) = h n h^{-1}$.^[1] This construction captures how elements of $H$ act on $N$ via inner automorphisms of $G$, preserving the normality of $N$.^[3] The concept was introduced by Otto Hölder in 1893 during his classification of finite groups of orders $p^3$, $pq^2$, $pqr$, and $p^4$, where he used such decompositions to enumerate non-abelian examples beyond direct products.^[4] Hölder's work laid foundational ideas for recognizing groups with normal subgroups complemented by acting subgroups, influencing later developments in group classification.^[5] To verify the structure, consider the projection homomorphism $\pi: G \to H$ defined by $\pi(nh) = h$. This is a group homomorphism because $\pi((n_1 h_1)(n_2 h_2)) = \pi(n_1 (h_1 n_2 h_1^{-1}) h_1 h_2) = h_1 h_2 = \pi(n_1 h_1) \pi(n_2 h_2)$, as $h_1 n_2 h_1^{-1} \in N$ by the conjugation action.^[1] Its kernel is $N$, yielding the isomorphism $G/N \cong H$.^[1] Normality of $N$ follows from the action: for any $g = n' h \in G$ and $n \in N$, $g n g^{-1} = n' (h n h^{-1}) n'^{-1} \in N$, since $\phi_h(n) \in N$ (as $\phi_h \in \Aut(N)$) and conjugation by $n'$ preserves $N$.^[1]

Outer semidirect product

The outer semidirect product provides an abstract construction of a group from two given groups and an action of one on the other by automorphisms. Given groups $N$ and $H$, and a group homomorphism $\phi: H \to \Aut(N)$, the outer semidirect product $N \rtimes_\phi H$ is the Cartesian product set $N \times H$ equipped with the binary operation $(n_1, h_1)(n_2, h_2) = (n_1 \cdot \phi_{h_1}(n_2), h_1 h_2)$ for all $n_1, n_2 \in N$ and $h_1, h_2 \in H$.^[1][6] This operation defines a group structure on $N \rtimes_\phi H$: the identity element is $(e_N, e_H)$, where $e_N$ and $e_H$ are the identities in $N$ and $H$, respectively; the inverse of $(n, h)$ is $(\phi_{h^{-1}}(n^{-1}), h^{-1})$; and associativity holds because $\phi$ is a homomorphism.^[1] The subset $N' = \{(n, e_H) \mid n \in N\}$ forms a normal subgroup of $N \rtimes_\phi H$ isomorphic to $N$ via the projection map $(n, e_H) \mapsto n$, with the action of elements from $H$ on $N'$ by conjugation matching $\phi$.^[1][6] The subset $H' = \{(e_N, h) \mid h \in H\}$ is a subgroup isomorphic to $H$ via $(e_N, h) \mapsto h$, and $N' \cap H' = \{(e_N, e_H)\}$ with $N' H' = N \rtimes_\phi H$.^[1] When $\phi$ is the trivial homomorphism (i.e., $\phi_h = \id_N$ for all $h \in H$), the operation simplifies to componentwise multiplication, yielding the direct product $N \times H$.^[1][6] This outer construction is isomorphic to an inner semidirect product whenever $N$ and $H$ can be realized as subgroups in a larger group with the action given by conjugation.^[1] The notation $N \rtimes H$ is commonly used when the homomorphism $\phi$ is clear from context.^[1]

Relation to direct products

Direct product as special case

The direct product of two groups $N$ and $H$, denoted $N \times H$, is defined on the Cartesian product set with the componentwise group operation: $(n_1, h_1)(n_2, h_2) = (n_1 n_2, h_1 h_2)$ for all $n_1, n_2 \in N$ and $h_1, h_2 \in H$.^[1] This construction arises as a special case of the semidirect product $N \rtimes_\phi H$, where $\phi: H \to \Aut(N)$ is the trivial homomorphism, meaning $\phi_h = \id_N$ (the identity automorphism) for every $h \in H$. In this scenario, the semidirect product operation simplifies to the direct product multiplication, as there is no twisting by the action of $H$ on $N$.^[1] In the direct product $N \times H$, both the subgroups $N \times \{e_H\}$ and $\{e_N\} \times H$ (where $e_N, e_H$ are the respective identities) are normal. This double normality holds precisely when the action $\phi$ is trivial in the corresponding semidirect product; otherwise, only the copy of $N$ remains normal.^[1] More generally, a semidirect product $N \rtimes_\phi H$ is isomorphic to a direct product if and only if every element of $H$ centralizes every element of $N$, or equivalently, $H$ is contained in the centralizer $C_G(N)$ of $N$ in the larger group $G = N \rtimes_\phi H$.^[1] The concept of the direct product predates that of the semidirect product in group theory, with its role in the representation theory of groups formalized by Hermann Weyl in his 1931 monograph on groups and quantum mechanics.^[7]

Differences and conditions for semidirect

The semidirect product of groups $N$ and $H$ via a homomorphism $\phi: H \to \Aut(N)$ differs fundamentally from the direct product in that only the subgroup corresponding to $N$ (denoted $N \times \{e_H\}$) is normal in the resulting group $G = N \rtimes_\phi H$, while the subgroup corresponding to $H$ ($\{e_N\} \times H$) need not be normal unless $\phi$ is trivial.^[1] This non-normality arises because the action $\phi$ twists the multiplication rule to $(n_1, h_1)(n_2, h_2) = (n_1 \cdot \phi(h_1)(n_2), h_1 h_2)$, allowing non-commutativity even when both $N$ and $H$ are abelian, in contrast to the componentwise multiplication of the direct product.^[2] The semidirect product reduces to a direct product precisely when $\phi$ is the trivial homomorphism, meaning $\phi(h) = \id_N$ for all $h \in H$, which is equivalent to the condition that $H$ centralizes $N$ (i.e., every element of $H$ commutes with every element of $N$).^[1] In this case, the twisted multiplication simplifies to the direct product operation, and both subgroups become normal in $G$.^[2] From an internal perspective within a group $G$, a semidirect product structure exists if there is a normal subgroup $N \trianglelefteq G$ complemented by a subgroup $H \leq G$ such that $H \cap N = \{e\}$ and $G = HN$, where the conjugation action of $H$ on $N$ (given by $h n h^{-1}$ for $h \in H$, $n \in N$) defines the homomorphism $\phi: H \to \Aut(N)$.^[1] The external semidirect product, by contrast, is an abstract construction of $G$ from $N$ and $H$ using pairs $(n, h)$ and the operation dictated by $\phi$, without reference to an ambient group.^[2] In terms of short exact sequences, the semidirect product corresponds to a split exact sequence $1 \to N \to G \to H \to 1$, where the splitting map $s: H \to G$ satisfies $\pi \circ s = \id_H$ (with $\pi: G \to H$ the quotient map), but the image $s(H)$ need not centralize $N$ unless the action is trivial.^[1] A non-split extension, such as the sequence $1 \to \mathbb{Z}/2\mathbb{Z} \to \mathbb{Z}/4\mathbb{Z} \to \mathbb{Z}/2\mathbb{Z} \to 1$, cannot be realized as a semidirect product because $\mathbb{Z}/4\mathbb{Z}$ lacks a subgroup isomorphic to $\mathbb{Z}/2\mathbb{Z}$ that complements the normal subgroup of order 2.^[2]

Examples

Dihedral and symmetric groups

The dihedral group $D_n$ of order $2n$, which consists of the symmetries of a regular $n$-gon (rotations and reflections), is isomorphic to the semidirect product $\mathbb{Z}/n\mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, where $\mathbb{Z}/2\mathbb{Z}$ acts on $\mathbb{Z}/n\mathbb{Z}$ by inversion (multiplication by $-1$).^[1][8] This structure reflects the rotational subgroup $\langle r \rangle \cong \mathbb{Z}/n\mathbb{Z}$ being normal, complemented by the reflections generated by a single reflection $s \cong \mathbb{Z}/2\mathbb{Z}$. The group has the presentation $\langle r, s \mid r^n = s^2 = 1, \, s r s^{-1} = r^{-1} \rangle$, where the relation $s r s^{-1} = r^{-1}$ encodes the inversion action.^[1] In this semidirect product, the order satisfies $|D_n| = |\mathbb{Z}/n\mathbb{Z}| \cdot |\mathbb{Z}/2\mathbb{Z}| = n \cdot 2 = 2n$.^[1] A concrete finite example occurs in the symmetric group $S_3$ of order 6, which is isomorphic to $\mathbb{Z}/3\mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, where $\mathbb{Z}/3\mathbb{Z}$ is the normal alternating subgroup $A_3 = \langle (123) \rangle$ and $\mathbb{Z}/2\mathbb{Z}$ is generated by a transposition such as $(12)$.^[1] The action of $\mathbb{Z}/2\mathbb{Z}$ on $\mathbb{Z}/3\mathbb{Z}$ is by conjugation, which inverts the 3-cycle: $(12)(123)(12) = (132) = (123)^{-1}$.^[1] Here, $|S_3| = |\mathbb{Z}/3\mathbb{Z}| \cdot |\mathbb{Z}/2\mathbb{Z}| = 3 \cdot 2 = 6$.^[1] This construction generalizes to the symmetric group $S_n$ for $n \geq 3$, which is a semidirect product $A_n \rtimes \mathbb{Z}/2\mathbb{Z}$, with $A_n$ the normal alternating subgroup of even permutations and $\mathbb{Z}/2\mathbb{Z}$ any subgroup generated by an odd permutation of order 2, such as a transposition.^[9] The action is again by conjugation, preserving the even permutations while effecting the quotient $S_n / A_n \cong \mathbb{Z}/2\mathbb{Z}$.^[9] Unlike the dihedral case, such complements in $S_n$ are not unique, as there are multiple choices for the order-2 odd permutation subgroup (e.g., any transposition works).^[9] The order relation holds: $|S_n| = |A_n| \cdot |\mathbb{Z}/2\mathbb{Z}| = (n!/2) \cdot 2 = n!$.^[9]

Holomorph and matrix groups

The holomorph of a group $N$, denoted $\mathrm{Hol}(N)$, is the semidirect product $N \rtimes \mathrm{Aut}(N)$, where $\mathrm{Aut}(N)$ acts on $N$ by automorphisms. This construction embeds $N$ as a normal subgroup while adjoining its full automorphism group, providing a universal framework for studying automorphisms within a larger group structure.^[10] A concrete example arises with the cyclic group $\mathbb{Z}/n\mathbb{Z}$, whose holomorph $\mathrm{Hol}(\mathbb{Z}/n\mathbb{Z})$ is isomorphic to the affine group $\mathrm{Aff}(1, \mathbb{Z}/n\mathbb{Z})$, consisting of transformations $x \mapsto ax + b$ where $a \in (\mathbb{Z}/n\mathbb{Z})^\times$ and $b \in \mathbb{Z}/n\mathbb{Z}$.^[11] Here, $\mathbb{Z}/n\mathbb{Z}$ serves as the normal translation subgroup, and $(\mathbb{Z}/n\mathbb{Z})^\times \cong \mathrm{Aut}(\mathbb{Z}/n\mathbb{Z})$ acts by multiplication, yielding a group of order $n \phi(n)$, where $\phi$ is Euler's totient function.^[11] In the context of matrix groups over finite fields, the group of $2 \times 2$ upper triangular matrices over $\mathbb{F}_p$ (with $p$ prime) and nonzero determinant exemplifies a semidirect product structure. This group decomposes as a semidirect product of the normal unipotent subgroup $U = \left\{ \begin{pmatrix} 1 & b \\ 0 & 1 \end{pmatrix} \mid b \in \mathbb{F}_p \right\} \cong \mathbb{F}_p^+$ by the subgroup of diagonal scalar matrices $D = \left\{ \begin{pmatrix} a & 0 \\ 0 & a \end{pmatrix} \mid a \in \mathbb{F}_p^\times \right\} \cong \mathbb{F}_p^\times$, where $D$ acts on $U$ by scaling the off-diagonal entry.^[12] The resulting group has order $p(p-1)$ and corresponds to the affine general linear group $\mathrm{AGL}(1, p)$.^[12] More generally, the Borel subgroup of upper triangular matrices in $\mathrm{GL}_n(\mathbb{F}_q)$ (with $q = p^k$) is a semidirect product of its maximal torus (diagonal matrices with nonzero entries) by its unipotent radical (upper triangular with 1s on the diagonal), with the torus acting on the radical via conjugation that scales entries according to root weights.^[12] The order of this Borel subgroup is $q^{n(n-1)/2} (q-1)^n$.^[12] The orthogonal group $\mathrm{O}_n(\mathbb{R})$ provides another linear example, decomposing as the semidirect product $\mathrm{SO}_n(\mathbb{R}) \rtimes \mathbb{Z}/2\mathbb{Z}$, where $\mathbb{Z}/2\mathbb{Z}$ is generated by a reflection matrix of determinant $-1$, acting on $\mathrm{SO}_n(\mathbb{R})$ by conjugation.^[13] This action inverts elements of $\mathrm{SO}_n(\mathbb{R})$ when $n$ is even, reflecting the non-central nature of the extension, while the group has dimension $n(n-1)/2$.^[13] Finally, the group of semilinear transformations on a finite-dimensional vector space $V$ over a field $k$ is the semidirect product $\mathrm{GL}(V) \rtimes \mathrm{Gal}(k)$, where $\mathrm{Gal}(k)$ acts on $\mathrm{GL}(V)$ by applying field automorphisms to matrix entries.^[14] This construction, often denoted $\Gamma \mathrm{L}(V)$, extends linear groups by incorporating Galois actions and has order $|\mathrm{GL}(n,k)| \cdot |\mathrm{Gal}(k)|$ for $\dim_k V = n$.^[14]

Geometric and topological examples

The group of isometries of the Euclidean plane, known as the Euclidean group $E(2)$, is a fundamental example of a semidirect product in geometry. It decomposes as $E(2) = T(2) \rtimes O(2)$, where $T(2) \cong \mathbb{R}^2$ is the group of translations and $O(2)$ is the orthogonal group consisting of rotations and reflections. The action of $O(2)$ on $T(2)$ occurs via conjugation, which geometrically corresponds to applying an orthogonal transformation to the translation vectors, thereby twisting the group structure beyond a direct product. This semidirect product captures both orientation-preserving and orientation-reversing isometries, enabling a unified description of rigid motions in the plane.^[15] In topology, semidirect products appear prominently in fundamental groups of manifolds. The fundamental group of the Klein bottle, a non-orientable surface, is given by the presentation $\langle a, b \mid a b a^{-1} = b^{-1} \rangle$, which realizes the infinite non-abelian group $\mathbb{Z} \rtimes \mathbb{Z}$. Here, the action is inversion: the generator $a$ of the second $\mathbb{Z}$ acts on the first $\mathbb{Z}$ (generated by $b$) by the automorphism $\phi_a(n) = -n$, reflecting the twisted identification in the Klein bottle's construction from a square.^[16] This contrasts with the torus, whose fundamental group is the abelian direct product $\mathbb{Z} \times \mathbb{Z}$, arising from untwisted identifications and lacking the non-trivial action.^[16] Semidirect products also underpin symmetries in orbifolds and manifolds with discrete actions. For instance, the orbifold fundamental group of the quotient $T^2 / \mathbb{Z}_2$, where $\mathbb{Z}_2$ acts on the torus $T^2$ by reflection (forming a pillow orbifold), is $\mathbb{Z}^2 \rtimes \mathbb{Z}_2$, with the $\mathbb{Z}_2$ action inverting coordinates to enforce the orbifold's mirror symmetries.^[17] Such structures classify symmetries in these geometric objects, distinguishing them from direct products in orientable cases like the torus.

Non-examples

Cyclic and quaternion groups

The cyclic group $\mathbb{Z}/4\mathbb{Z}$ of order 4 has a unique subgroup of order 2, generated by the element of order 2, and this subgroup is normal since all subgroups of cyclic groups are normal.^[1] For $\mathbb{Z}/4\mathbb{Z}$ to decompose as a nontrivial semidirect product $N \rtimes H$ with $|N| = |H| = 2$, the normal subgroup $N$ must be this unique order-2 subgroup, and $H$ must be a complementary subgroup of order 2. However, the automorphism group $\operatorname{Aut}(\mathbb{Z}/2\mathbb{Z})$ is trivial, so any action of $H \cong \mathbb{Z}/2\mathbb{Z}$ on $N \cong \mathbb{Z}/2\mathbb{Z}$ must be trivial, yielding only the direct product $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$, known as the Klein four-group.^[1] This direct product is abelian but not cyclic, as it has three elements of order 2, whereas $\mathbb{Z}/4\mathbb{Z}$ has exactly one such element and is generated by an element of order 4. Thus, $\mathbb{Z}/4\mathbb{Z}$ cannot be expressed as a nontrivial semidirect product of groups of order 2, and more generally, its only semidirect product decomposition is the trivial one $\mathbb{Z}/4\mathbb{Z} \rtimes \{e\}$.^[1] The quaternion group $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}$ with relations $i^2 = j^2 = k^2 = -1$, $ij = k$, $ji = -k$, etc., has center $Z(Q_8) = \{\pm 1\} \cong \mathbb{Z}/2\mathbb{Z}$, and the quotient $Q_8 / Z(Q_8) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$.^[18] All proper nontrivial subgroups of $Q_8$ are the cyclic subgroups $\langle i \rangle = \{\pm 1, \pm i\}$, $\langle j \rangle = \{\pm 1, \pm j\}$, and $\langle k \rangle = \{\pm 1, \pm k\}$, each of order 4 and normal in $Q_8$.^[19] Each of these intersects the center nontrivially in $Z(Q_8)$, so none complements $Z(Q_8)$ in the sense required for a semidirect product decomposition $Z(Q_8) \rtimes H$ with $|H| = 4$.^[1] More broadly, $Q_8$ has no pair of proper nontrivial subgroups $A$ and $B$ such that $A \cap B = \{1\}$ and $AB = Q_8$, because every nontrivial proper subgroup contains the center $\{\pm 1\}$.^[20] Consequently, $Q_8$ admits no nontrivial semidirect product decomposition, and its short exact sequence $1 \to Z(Q_8) \to Q_8 \to \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \to 1$ does not split.^[18] Groups like $\mathbb{Z}/4\mathbb{Z}$ and $Q_8$ exemplify cases where all group extensions by normal subgroups are either central extensions or direct products, precluding nontrivial semidirect structures due to the absence of complementary subgroups or nontrivial actions.^[1]

Other groups without semidirect structure

Non-abelian simple groups, exemplified by the alternating group $A_5$ of order 60, cannot be decomposed as non-trivial semidirect products $N \rtimes H$ with both $N$ and $H$ proper non-trivial subgroups. This follows from the defining property that such groups have no non-trivial normal subgroups; in a semidirect product, the subgroup $N$ is normal in the product group. Consequently, the only semidirect decompositions available are the trivial ones $A_5 \rtimes \{e\}$ or $\{e\} \rtimes A_5$.^[21] This limitation extends to all non-abelian simple groups, which include the finite alternating groups $A_n$ for $n \geq 5$, the groups of Lie type such as PSL$(2, q)$ for certain $q$, and the sporadic groups like the Mathieu groups. These groups serve as indecomposable building blocks in extension theory, as any non-trivial semidirect factorization would require a proper normal subgroup, contradicting simplicity. Their structure precludes semidirect decompositions beyond the trivial case, emphasizing their role in classifications like the CFSG (Classification of Finite Simple Groups). p-groups in which every subgroup is normal, known as Dedekind groups, also lack non-trivial semidirect product structures and decompose solely as direct products. Dedekind's theorem classifies finite non-abelian Dedekind p-groups completely: for odd primes p, all such groups are abelian, while for p=2, they are direct products of the quaternion group $Q_8$ and an abelian 2-group of exponent dividing 2 (elementary abelian). In these cases, the absence of non-trivial actions compatible with the all-normal-subgroups property ensures that any potential semidirect decomposition reduces to a direct product, with no room for twisted actions.^[22] A concrete example of a nilpotent p-group exhibiting failure of semidirect decomposition due to non-splitting is the Heisenberg group $H$ of order $p^3$ for an odd prime p. This group is the non-abelian group of upper-triangular 3×3 matrices over $\mathbb{F}_p$ with ones on the diagonal, presenting a central extension

$$1 \to \mathbb{Z}/p\mathbb{Z} \to H \to (\mathbb{Z}/p\mathbb{Z})^2 \to 1,$$

where the kernel is the center of order p generated by the commutator, and the quotient is the elementary abelian group of rank 2. The extension does not split because $H$ has no subgroup isomorphic to $(\mathbb{Z}/p\mathbb{Z})^2$; all maximal subgroups are abelian of order $p^2$, preventing a complement to the center. Thus, $H$ cannot be expressed as a semidirect product in this manner.^[23]

Properties

Existence and uniqueness

The existence of a semidirect product $N \rtimes_\phi H$ for groups $N$ and $H$ and a given homomorphism $\phi: H \to \Aut(N)$ is guaranteed by its explicit construction as the external semidirect product: the underlying set is the Cartesian product $N \times H$, equipped with the group operation $(n, h)(n', h') = (n \cdot \phi_h(n'), h h')$, where $N$ is normal in the product and $H$ acts on $N$ via $\phi$.^[24] This construction always yields a group in which the projection to $H$ is a split exact sequence $1 \to N \to N \rtimes_\phi H \to H \to 1$.^[1] For the internal semidirect product, given a group $G$ with normal subgroup $N$ and quotient $G/N \cong H$, it exists if and only if there is a splitting homomorphism $s: H \to G$ such that the image $s(H)$ complements $N$ (i.e., $G = N s(H)$ and $N \cap s(H) = \{e\}$).^[1] This condition is equivalent to the short exact sequence $1 \to N \to G \to H \to 1$ splitting, with the complement acting on $N$ by conjugation.^[25] The semidirect product $N \rtimes_\phi H$ is unique up to isomorphism for a fixed $\phi$, as any group realizing the action $\phi$ is isomorphic to this construction.^[24] However, semidirect products are not unique in general, as distinct homomorphisms $\phi, \psi: H \to \Aut(N)$ can yield non-isomorphic groups; for instance, the groups of order 8 include the dihedral group $D_4 \cong (\mathbb{Z}/4\mathbb{Z}) \rtimes \mathbb{Z}/2\mathbb{Z}$ and the quaternion group $Q_8$, where $D_4$ arises from a nontrivial action while $Q_8$ is a nonsplit extension.^[1] Up to isomorphism, the distinct semidirect products $N \rtimes H$ for fixed $N$ and $H$ are classified by the conjugacy classes of homomorphisms $H \to \Aut(N)$, or more precisely, the orbits under the action of $\Aut(N)$ by conjugation: $\phi$ and $\psi$ yield isomorphic products if there exists $\alpha \in \Aut(N)$ such that $\psi(h) = \alpha \phi(h) \alpha^{-1}$ for all $h \in H$.^[25] For example, in $S_3 \cong A_3 \rtimes \mathbb{Z}/2\mathbb{Z}$, the embedding of the complement $\mathbb{Z}/2\mathbb{Z}$ is unique up to conjugacy.^[1] In group cohomology, the first cohomology group $H^1(H, N)$ (with $N$ as a $H$-module via the action) classifies the conjugacy classes of splittings of the extension $1 \to N \to G \to H \to 1$, where split extensions precisely correspond to semidirect products; the extension splits if and only if its cohomology class is trivial.^[26]

Structural properties and classifications

The order of a semidirect product $ G = N \rtimes_\phi H $ equals the product of the orders of its factors, $ |G| = |N| \cdot |H| $.^[1] In this construction, the subgroup isomorphic to $ N $ is normal in $ G $, while the subgroup isomorphic to $ H $ is a complement but generally not normal unless $ \phi $ is the trivial homomorphism.^[1] The derived subgroup of $ G = N \rtimes H $ satisfies $ G' = [N, N][N, H][H, H] $, so the commutator subgroup $ [N, H] $ is contained in $ G' $.^[27] This reflects how the non-trivial action of $ H $ on $ N $ generates additional commutators beyond those within each factor. The centralizer $ C_G(N) $ intersects the copy of $ H $ in the kernel of $ \phi $, so $ H \leq C_G(N) $ if and only if $ \phi $ is trivial, in which case $ G $ is the direct product $ N \times H $.^[1] In solvable groups, semidirect decompositions provide complements to normal Hall subgroups, facilitating the inductive construction of a composition series with abelian factors.^[28] For instance, a solvable group of order $ mn $ with $ \gcd(m, n) = 1 $ and a normal subgroup of order $ m $ decomposes as a semidirect product of that normal subgroup by a subgroup of order $ n $.^[28] Semidirect products classify certain finite groups; for distinct primes $ p < q $ with $ p $ dividing $ q-1 $, the non-abelian groups of order $ pq $ are precisely the semidirect products $ \mathbb{Z}_q \rtimes \mathbb{Z}_p $.^[1] Wreath products generalize semidirect products, formed as $ A^\Omega \rtimes B $ where $ B $ acts on the index set $ \Omega $ by permuting coordinates in the base group $ A^\Omega $.^[28] In representation theory, if $ G = N \rtimes H $, irreducible representations of $ G $ often arise from inducing representations of $ H $ twisted by the action on $ N $.^[29] An infinite example is the Baumslag-Solitar group $ BS(1,2) = \langle a, b \mid b^{-1} a b = a^2 \rangle $, which is the semidirect product $ \mathbb{Z}[1/2] \rtimes \mathbb{Z} $ where $ \mathbb{Z}[1/2] $ is the additive group of dyadic rationals and the generator of the second $ \mathbb{Z} $ acts by multiplication by 2 on the first.^[30]

Generalizations

To groupoids

The semidirect product of groupoids generalizes the construction from groups to the category of groupoids, where one groupoid (or group) acts on another via automorphisms. For a groupoid $G$ equipped with an action by a group $K$ (via a homomorphism $\phi: K \to \Aut(G)$), the semidirect product $G \rtimes_\phi K$ has underlying objects $\mathrm{Ob}(G)$, and morphisms from $y$ to $x$ given by pairs $(g, k)$ where $g: y \to k \cdot x$ is a morphism in $G$ (with $k \cdot x$ denoting the action on objects), equipped with source map $s(g, k) = s(g)$ and target map $t(g, k) = t(g)$, and twisted composition: if $(g', k') : z \to y$ and $(g, k): y \to x$, then $(g', k') \circ (g, k) = (g' \cdot {}^{k'} g, k' k)$, where ${}^{k'} g$ denotes the action of $k'$ on the morphism $g$.^[31] This construction accommodates weak actions in higher-categorical settings, where the action functor $\phi$ is defined up to natural isomorphism; natural transformations between such functors induce equivalences between the resulting semidirect products. Weak equivalences in the base groupoids preserve the semidirect structure, ensuring that the product remains a groupoid with properties analogous to the strict case.^[31] An illustrative example is the action groupoid, which arises as a special case when $G$ is the discrete groupoid on a set $X$ (with only identity arrows), and $K$ acts on $X$; here, $X \rtimes K$ has objects $X$ and arrows corresponding to the action, generalizing the translation groupoid for group actions on spaces.^[31] In geometric and algebraic contexts, semidirect products of groupoids relate to Morita equivalences, often via principal bibundles inducing weak equivalences between groupoids. An example is the Poincaré groupoid, defined as the semidirect product of the subgroupoid of generalized Lorentz transformations and the subgroupoid of generalized translations.^[32][33] Properties such as normality generalize to groupoids: a subgroupoid $N \leq G \rtimes_\phi K$ is normal if it is invariant under conjugation by elements of the product, allowing well-defined quotient groupoids analogous to the group case.^[31]

To abelian categories

In an abelian category $\mathcal{A}$, the notion of semidirect product generalizes to split short exact sequences, though the analogy with group theory is limited. A short exact sequence $0 \to A \xrightarrow{i} B \xrightarrow{p} C \to 0$ is split if there exists a morphism $s: C \to B$ (a section) such that $p \circ s = \mathrm{id}_C$.^[34] By the splitting lemma, this implies $B \cong A \oplus C$ as objects in $\mathcal{A}$, with $i$ and $s$ providing the inclusions into the direct sum and $p$ the projection onto $C$.^[35] However, unlike in non-abelian group theory, all split extensions in abelian categories are isomorphic to direct sums, as the additive structure ensures no non-trivial twisting is possible. The section $s$ (together with the retraction $r: B \to A$ satisfying $r \circ i = \mathrm{id}_A$) induces endomorphisms on $A$ and $C$, but these actions are trivial in the direct sum decomposition. More generally, extensions of $C$ by $A$ (short exact sequences $0 \to A \to E \to C \to 0$) are classified up to equivalence by the group $\mathrm{Ext}^1_{\mathcal{A}}(C, A)$, where equivalence means an isomorphism $E \to E'$ commuting with the inclusions of $A$ and projections to $C$.^[35] The split extensions correspond to the zero element in $\mathrm{Ext}^1_{\mathcal{A}}(C, A)$, while non-split extensions represent nontrivial classes; the group operation on $\mathrm{Ext}^1_{\mathcal{A}}(C, A)$ is the Baer sum, combining two extensions via pushout-pullback to yield a third.^[36] In the category $\mathrm{Mod}_R$ of right modules over a ring $R$, split extensions recover the direct sum $A \oplus C$. When $\mathrm{Ext}^1_R(C, A) = 0$ (e.g., if $C$ is projective), every extension splits, yielding only direct sums; otherwise, nontrivial extensions exist, such as $0 \to \mathbb{Z} \to \mathbb{Q} \to \mathbb{Q}/\mathbb{Z} \to 0$ in the category of abelian groups.^[34] This framework connects to homological algebra, where split extensions appear in projective resolutions: a projective resolution $\cdots \to P_1 \to P_0 \to M \to 0$ of a module $M$ often involves split exact sequences, facilitating computations of derived functors like $\mathrm{Ext}$ and $\mathrm{Tor}$. Such resolutions underpin long exact sequences in extension groups and applications in representation theory.^[35]