Fact-checked by Grok 2 weeks ago

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](/page/H+) for fixed N and [H](/page/H+) are classified by the conjugacy classes of homomorphisms [H](/page/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](/page/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]

References

[1]
[PDF] SEMIDIRECT PRODUCTS 1. Introduction For two groups H and K ...
Definition 3.1. For two groups H and K and an action ϕ: K → Aut(H) of K on H by. automorphisms, the corresponding semidirect product H Χϕ K is defined as ...
[2]
[PDF] Supplement. Direct Products and Semidirect Products
Feb 5, 2018 · In defining the semidirect product, we relax the normality condition but introduce a use of automorphisms of one of the two groups. We will be ...
[3]
[PDF] Semidirect Products, Group Extensions, Split Exact Sequences, and ...
Note that the ”direct product” is a general construction in mathematics. ... Internal view (aka Inner Semidirect Product): Given a group G, a normal subgroup.
[4]
Die Gruppen der Ordnungen p3, pq2, pqr, p4 - EuDML
Hölder, Otto. "Die Gruppen der Ordnungen p3, pq2, pqr, p4." Mathematische Annalen 43 (1893): 301-412. <http://eudml.org/doc/157685>. @article{Hölder1893,Missing: semidirect product
[5]
Jeremy Gray* Otto Hi lder and Group Theory
In particular, one finds in H61der's papers the ideas of semidirect products and extensions by cyclic groups. Guided by his strong sense of the aims of a ...
[6]
[PDF] Chapter 1. Background Material: Group Theory 1 Semi-direct Products
The semi-direct product is a construction of the theory of groups, which allows us to build new groups from old ones. It is a natural generalisation of the ...
[7]
[PDF] the theory of groups and - quantum mechanics
groups in discussing the theory of their representations as has been ... Direct Product. Sub-groups. 11. Perturbation Theory for the Construction of ...
[8]
[PDF] Harmonic analysis of dihedral groups
[1.1] Dihedral groups as symmetries of n-gons The dihedral group G is the symmetry group of a regular n-gon. To count the elements of the group, ...
[9]
[PDF] 10 Semidirect Products - Brandeis
The dihedral group D2n is a semidirect product of Z/n = hsi by Z/2 where H = hti is the complement of hsi. 1Note that, in general, HK is not a subgroup of G ...
[10]
[math/0302120] On the holomorph of a discrete group - arXiv
The holomorph of a discrete group G is the universal semi-direct product of G. In chapter 1 we describe why it is an interesting object and state main results.
[11]
[PDF] arXiv:2401.11583v1 [math.GR] 21 Jan 2024
Jan 21, 2024 · n = Hol(Zn). b is an integer modulo n. In this special case, the affine general linear group is isomorphic to the holomorph of Zn. n .
[12]
[PDF] Reductive Groups
Abstract. These notes are a guide to algebraic groups, especially reductive groups, over a field. Proofs are usually omitted or only sketched.
[13]
[PDF] Algebraic Groups I. Properties of orthogonal groups
The special orthogonal group SO(q) will be defined shortly in a characteristic-free way, using input from the theory of Clifford algebras when n is even. (The ...
[14]
[PDF] The Geometry of the Classical Groups
group ΓL(V ) of all invertible semilinear transformations of V . The kernel of this homomorphism is T(V ). The group Aff(A) acts on A and T(V ) is a regular ...
[15]
[PDF] on products of isometries of hyperbolic space - UMD MATH
Let H = Iso(En), where En is n-dimensional Euclidean space. Hence, H is a semidirect product of the orthogonal group O(n) and the group of translations Rn. We ...
[16]
[PDF] π(X × Y ) and π(K); Semi-Direct Products
Jan 29, 2006 · Group theory then consists of listing the “irreducible” groups that cannot be broken into smaller pieces, and then studying ways to put groups ...<|control11|><|separator|>
[17]
[PDF] Closed geodesics on compact developable orbifolds
The universal cover R2 → T2 is also the orbifold universal cover for Q. Thus the orbifold fundamental group is a semi-direct product: πorb. 1 (T2/Z2) ∼= Z2 ...<|separator|>
[18]
[PDF] Generalized quaternions - Keith Conrad
While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section 2 and then ...
[19]
[PDF] MA 521 – Midterm Solutions
Solution: No. If Q8 were to be isomorphic to a semidirect product of proper subgroups, there would be two subgroups A, B ≤ Q8 with A ...
[20]
[PDF] Part 1 – Math 612 (1) Let F be a field, K/F a finite Galois extension ...
(a) Show that any non-trivial subgroup of Q8 contains {±1}. Conclude that Q8 is not a semi-direct product (of non-trivial subgroups; of course, Q8 = Q8 × 1).
[21]
Can every non-simple group $G$ be written as a semidirect product?
Oct 30, 2015 · This group has order 8, so if it has any chance of being a (nontrivial) semidirect product, it has to be one of groups of order 2 or 4.Can the semidirect product of two groups be abelian group?Which groups are a non-trivial semidirect product of abelian groups?More results from math.stackexchange.com
[22]
CHARACTERIZATION OF FINITE DEDEKIND GROUPS
A group is termed a dedekind group, if all its subgroups are normal sub- groups. These groups are completely classified by the following well known.
[23]
[PDF] GROUPS OF ORDER p3 1. Introduction For each prime p, we will ...
The subgroup hx, yi properly contains hxi, so hx, yi = G. Since G is nonabelian, x and y do not commute. Since hxi has index 2 in G, it is a normal subgroup.Missing: split extension
[24]
[PDF] Notes on Semidirect Products
Nov 21, 2015 · Theorem 4.1 (Existence and uniqueness of semidirect products). Given any groups K and H and any homomorphism θ : H → Aut K, there exists a ...
[25]
[PDF] Remarks on Semidirect Products
A non-abelian group G of order p3, p an odd prime, will be a semidirect product of either K = Z/(p) × Z/(p) by H = Z/(p) or K = Z/(p2) by H = Z/(p), depending.
[26]
[PDF] Group Cohomology - Lecture Notes - UC Berkeley math
This is called a splitting of the extension, and the semidirect product is a split extension of G by M. Let E = M ⋊ G. Now consider another splitting s1 ...
[27]
Derived subgroup of semidirect product - Math Stack Exchange
Aug 31, 2013 · If G=NH with N⊴G and H≤G, then you can use the commutator laws to show that the derived subgroup G′=[G,G]=[N,N][N,H][H,H] and so if G=N⋊H ...Subgroup of a semidirect product is a semidirect productIntuition about the semidirect product of groups - Math Stack ExchangeMore results from math.stackexchange.com
[28]
[PDF] Semidirect Products
A group G is the direct product of two normal subgroups K and Q if. KQ=1 and KQ = G. Definition. A group G is a semidirect product of K by Q, denoted by G. K ...
[29]
Irreducible representations of a semidirect product
May 25, 2011 · I have two finite groups. The irreducible representations of their product are given by tensor products of the irreducible of representations of the groups.Irreducible representations of a semidirect product, proof in SerreIntuition behind the representation theory of semi-direct products ...More results from math.stackexchange.com
[30]
[PDF] RANDOM WALKS ON BAUMSLAG–SOLITAR GROUPS - TU Graz
For random walks on the Baumslag–Solitar group G = BS(1, 2) with finite ... the semidirect product Z[. 1. 2] Z, where 1 ∈ Z acts by doubling, the ...
[31]
semidirect product group in nLab
### Summary of "Semidirect products of groupoids" from nLab
[32]
Groupoid Semidirect Product Fell Bundles I- Actions by Isomorphisms
May 5, 2021 · Given an action of a groupoid by isomorphisms on a Fell bundle (over another groupoid), we form a semidirect-product Fell bundle, and prove that ...Missing: Haefliger | Show results with:Haefliger
[33]
[PDF] maclane-categories.pdf - MIT Mathematics
... semidirect product G x oN, which has elements the pairs (x, n) for x E G, n E N with the (evidently associative) multi- plication (x, n) (y, m) = (xy, (y-l ...
[34]
[PDF] AN INTRODUCTION TO HOMOLOGICAL ALGEBRA
... Weibel An introduction to homological algebra. 39 W. Bruns and J. Herzog ... Exact Sequences. Chain Homotopies. Mapping Cones and Cylinders. More on ...
[35]
Section 12.6 (010I): Extensions—The Stacks project
In any of the cases of “big” abelian categories listed in Categories, Remark 4.2. ... The extension E_1 + E_2 is called the Baer sum of the given extensions.