Semidirect product


In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:

  • an inner semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup.
  • an outer semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation.

As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as semidirect products.

For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension).

Inner semidirect product definitions edit

Given a group G with identity element e, a subgroup H, and a normal subgroup NG, the following statements are equivalent:

of groups (which is also known as group extension of   by  ).

If any of these statements holds (and hence all of them hold, by their equivalence), we say G is the semidirect product of N and H, written


or that G splits over N; one also says that G is a semidirect product of H acting on N, or even a semidirect product of H and N. To avoid ambiguity, it is advisable to specify which is the normal subgroup.

If  , then there is a group homomorphism   given by  , and for  , we have  .

Inner and outer semidirect products edit

Let us first consider the inner semidirect product. In this case, for a group  , consider a normal subgroup N and another subgroup H (not necessarily normal). Assume that the conditions on the list above hold. Let   denote the group of all automorphisms of N, which is a group under composition. Construct a group homomorphism   defined by conjugation,

 , for all h in H and n in N.

In this way we can construct a group   with group operation defined as

  for n1, n2 in N and h1, h2 in H.

The subgroups N and H determine G up to isomorphism, as we will show later. In this way, we can construct the group G from its subgroups. This kind of construction is called an inner semidirect product (also known as internal semidirect product[1]).

Let us now consider the outer semidirect product. Given any two groups N and H and a group homomorphism φ: H → Aut(N), we can construct a new group Nφ H, called the outer semidirect product of N and H with respect to φ, defined as follows:[2]

  • The underlying set is the Cartesian product N × H.
  • The group operation   is determined by the homomorphism φ:
    for n1, n2 in N and h1, h2 in H.

This defines a group in which the identity element is (eN, eH) and the inverse of the element (n, h) is (φh−1(n−1), h−1). Pairs (n, eH) form a normal subgroup isomorphic to N, while pairs (eN, h) form a subgroup isomorphic to H. The full group is a semidirect product of those two subgroups in the sense given earlier.

Conversely, suppose that we are given a group G with a normal subgroup N and a subgroup H, such that every element g of G may be written uniquely in the form g = nh where n lies in N and h lies in H. Let φ: H → Aut(N) be the homomorphism (written φ(h) = φh) given by


for all nN, hH.

Then G is isomorphic to the semidirect product Nφ H. The isomorphism λ: GNφ H is well defined by λ(a) = λ(nh) = (n, h) due to the uniqueness of the decomposition a = nh.

In G, we have


Thus, for a = n1h1 and b = n2h2 we obtain


which proves that λ is a homomorphism. Since λ is obviously an epimorphism and monomorphism, then it is indeed an isomorphism. This also explains the definition of the multiplication rule in Nφ H.

The direct product is a special case of the semidirect product. To see this, let φ be the trivial homomorphism (i.e., sending every element of H to the identity automorphism of N) then Nφ H is the direct product N × H.

A version of the splitting lemma for groups states that a group G is isomorphic to a semidirect product of the two groups N and H if and only if there exists a short exact sequence


and a group homomorphism γ: HG such that α ∘ γ = idH, the identity map on H. In this case, φ: H → Aut(N) is given by φ(h) = φh, where


Examples edit

Dihedral group edit

The dihedral group D2n with 2n elements is isomorphic to a semidirect product of the cyclic groups Cn and C2.[3] Here, the non-identity element of C2 acts on Cn by inverting elements; this is an automorphism since Cn is abelian. The presentation for this group is:


Cyclic groups edit

More generally, a semidirect product of any two cyclic groups Cm with generator a and Cn with generator b is given by one extra relation, aba−1 = bk, with k and n coprime, and  ;[3] that is, the presentation:[3]


If r and m are coprime, ar is a generator of Cm and arba−r = bkr, hence the presentation:


gives a group isomorphic to the previous one.

Holomorph of a group edit

One canonical example of a group expressed as a semi-direct product is the holomorph of a group. This is defined as


where   is the automorphism group of a group   and the structure map   comes from the right action of   on  . In terms of multiplying elements, this gives the group structure


Fundamental group of the Klein bottle edit

The fundamental group of the Klein bottle can be presented in the form


and is therefore a semidirect product of the group of integers,  , with  . The corresponding homomorphism φ:   → Aut( ) is given by φ(h)(n) = (−1)hn.

Upper triangular matrices edit

The group   of upper triangular matrices with non-zero determinant in an arbitrary field, that is with non-zero entries on the diagonal, has a decomposition into the semidirect product  [4] where   is the subgroup of matrices with only  's on the diagonal, which is called the upper unitriangular matrix group, and   is the subgroup of diagonal matrices.
The group action of   on   is induced by matrix multiplication. If we set


then their matrix product is


This gives the induced group action  


A matrix in   can be represented by matrices in   and  . Hence  .

Group of isometries on the plane edit

The Euclidean group of all rigid motions (isometries) of the plane (maps f:  2 2 such that the Euclidean distance between x and y equals the distance between f(x) and f(y) for all x and y in  ) is isomorphic to a semidirect product of the abelian group   (which describes translations) and the group O(2) of orthogonal 2 × 2 matrices (which describes rotations and reflections that keep the origin fixed). Applying a translation and then a rotation or reflection has the same effect as applying the rotation or reflection first and then a translation by the rotated or reflected translation vector (i.e. applying the conjugate of the original translation). This shows that the group of translations is a normal subgroup of the Euclidean group, that the Euclidean group is a semidirect product of the translation group and O(2), and that the corresponding homomorphism φ: O(2) → Aut( 2) is given by matrix multiplication: φ(h)(n) = hn.

Orthogonal group O(n) edit

The orthogonal group O(n) of all orthogonal real n × n matrices (intuitively the set of all rotations and reflections of n-dimensional space that keep the origin fixed) is isomorphic to a semidirect product of the group SO(n) (consisting of all orthogonal matrices with determinant 1, intuitively the rotations of n-dimensional space) and C2. If we represent C2 as the multiplicative group of matrices {I, R}, where R is a reflection of n-dimensional space that keeps the origin fixed (i.e., an orthogonal matrix with determinant –1 representing an involution), then φ: C2 → Aut(SO(n)) is given by φ(H)(N) = HNH−1 for all H in C2 and N in SO(n). In the non-trivial case (H is not the identity) this means that φ(H) is conjugation of operations by the reflection (in 3-dimensional space a rotation axis and the direction of rotation are replaced by their "mirror image").

Semi-linear transformations edit

The group of semilinear transformations on a vector space V over a field  , often denoted ΓL(V), is isomorphic to a semidirect product of the linear group GL(V) (a normal subgroup of ΓL(V)), and the automorphism group of  .

Crystallographic groups edit

In crystallography, the space group of a crystal splits as the semidirect product of the point group and the translation group if and only if the space group is symmorphic. Non-symmorphic space groups have point groups that are not even contained as subset of the space group, which is responsible for much of the complication in their analysis.[5]

Non-examples edit

Of course, no simple group can be expressed as a semi-direct product (because they do not have nontrivial normal subgroups), but there are a few common counterexamples of groups containing a non-trivial normal subgroup that nonetheless cannot be expressed as a semi-direct product. Note that although not every group   can be expressed as a split extension of   by  , it turns out that such a group can be embedded into the wreath product   by the universal embedding theorem.

Z4 edit

The cyclic group   is not a simple group since it has a subgroup of order 2, namely   is a subgroup and their quotient is  , so there's an extension


If the extension was split, then the group   in


would be isomorphic to  .

Q8 edit

The group of the eight quaternions   where   and  , is another example of a group[6] which has non-trivial normal subgroups yet is still not split. For example, the subgroup generated by   is isomorphic to   and is normal. It also has a subgroup of order   generated by  . This would mean   would have to be a split extension in the following hypothetical exact sequence of groups:


but such an exact sequence does not exist. This can be shown by computing the first group cohomology group of   with coefficients in  , so   and noting the two groups in these extensions are   and the dihedral group  . But, as neither of these groups is isomorphic with  , the quaternion group is not split. This non-existence of isomorphisms can be checked by noting the trivial extension is abelian while   is non-abelian, and noting the only normal subgroups are   and  , but   has three subgroups isomorphic to  .

Properties edit

If G is the semidirect product of the normal subgroup N and the subgroup H, and both N and H are finite, then the order of G equals the product of the orders of N and H. This follows from the fact that G is of the same order as the outer semidirect product of N and H, whose underlying set is the Cartesian product N × H.

Relation to direct products edit

Suppose G is a semidirect product of the normal subgroup N and the subgroup H. If H is also normal in G, or equivalently, if there exists a homomorphism GN that is the identity on N with kernel H, then G is the direct product of N and H.

The direct product of two groups N and H can be thought of as the semidirect product of N and H with respect to φ(h) = idN for all h in H.

Note that in a direct product, the order of the factors is not important, since N × H is isomorphic to H × N. This is not the case for semidirect products, as the two factors play different roles.

Furthermore, the result of a (proper) semidirect product by means of a non-trivial homomorphism is never an abelian group, even if the factor groups are abelian.

Non-uniqueness of semidirect products (and further examples) edit

As opposed to the case with the direct product, a semidirect product of two groups is not, in general, unique; if G and G′ are two groups that both contain isomorphic copies of N as a normal subgroup and H as a subgroup, and both are a semidirect product of N and H, then it does not follow that G and G′ are isomorphic because the semidirect product also depends on the choice of an action of H on N.

For example, there are four non-isomorphic groups of order 16 that are semidirect products of C8 and C2; in this case, C8 is necessarily a normal subgroup because it has index 2. One of these four semidirect products is the direct product, while the other three are non-abelian groups:

If a given group is a semidirect product, then there is no guarantee that this decomposition is unique. For example, there is a group of order 24 (the only one containing six elements of order 4 and six elements of order 6) that can be expressed as semidirect product in the following ways: (D8 ⋉ C3) ≅ (C2Q12) ≅ (C2 ⋉ D12) ≅ (D6V).[7]

Existence edit

In general, there is no known characterization (i.e., a necessary and sufficient condition) for the existence of semidirect products in groups. However, some sufficient conditions are known, which guarantee existence in certain cases. For finite groups, the Schur–Zassenhaus theorem guarantees existence of a semidirect product when the order of the normal subgroup is coprime to the order of the quotient group.

For example, the Schur–Zassenhaus theorem implies the existence of a semi-direct product among groups of order 6; there are two such products, one of which is a direct product, and the other a dihedral group. In contrast, the Schur–Zassenhaus theorem does not say anything about groups of order 4 or groups of order 8 for instance.

Generalizations edit

Within group theory, the construction of semidirect products can be pushed much further. The Zappa–Szép product of groups is a generalization that, in its internal version, does not assume that either subgroup is normal.

There is also a construction in ring theory, the crossed product of rings. This is constructed in the natural way from the group ring for a semidirect product of groups. The ring-theoretic approach can be further generalized to the semidirect sum of Lie algebras.

For geometry, there is also a crossed product for group actions on a topological space; unfortunately, it is in general non-commutative even if the group is abelian. In this context, the semidirect product is the space of orbits of the group action. The latter approach has been championed by Alain Connes as a substitute for approaches by conventional topological techniques; c.f. noncommutative geometry.

The semidirect product is a special case of the Grothendieck construction in category theory. Specifically, an action of   on   (respecting the group, or even just monoid structure) is the same thing as a functor


from the groupoid   associated to H (having a single object *, whose endomorphisms are H) to the category of categories such that the unique object in   is mapped to  . The Grothendieck construction of this functor is equivalent to  , the (groupoid associated to) semidirect product.[8]

Groupoids edit

Another generalization is for groupoids. This occurs in topology because if a group G acts on a space X it also acts on the fundamental groupoid π1(X) of the space. The semidirect product π1(X) ⋊ G is then relevant to finding the fundamental groupoid of the orbit space X/G. For full details see Chapter 11 of the book referenced below, and also some details in semidirect product[9] in ncatlab.

Abelian categories edit

Non-trivial semidirect products do not arise in abelian categories, such as the category of modules. In this case, the splitting lemma shows that every semidirect product is a direct product. Thus the existence of semidirect products reflects a failure of the category to be abelian.

Notation edit

Usually the semidirect product of a group H acting on a group N (in most cases by conjugation as subgroups of a common group) is denoted by NH or HN. However, some sources[10] may use this symbol with the opposite meaning. In case the action φ: H → Aut(N) should be made explicit, one also writes Nφ H. One way of thinking about the NH symbol is as a combination of the symbol for normal subgroup () and the symbol for the product (×). Barry Simon, in his book on group representation theory,[11] employs the unusual notation   for the semidirect product.

Unicode lists four variants:[12]

Value MathML Unicode description

Here the Unicode description of the rtimes symbol says "right normal factor", in contrast to its usual meaning in mathematical practice.

In LaTeX, the commands \rtimes and \ltimes produce the corresponding characters. With the AMS symbols package loaded, \leftthreetimes produces ⋋ and \rightthreetimes produces ⋌.

See also edit

Notes edit

  1. ^ DS Dummit and RM Foote (1991), Abstract algebra, Englewood Cliffs, NJ: Prentice Hall, 142.
  2. ^ Robinson, Derek John Scott (2003). An Introduction to Abstract Algebra. Walter de Gruyter. pp. 75–76. ISBN 9783110175448.
  3. ^ a b c Mac Lane, Saunders; Birkhoff, Garrett (1999). Algebra (3rd ed.). American Mathematical Society. pp. 414–415. ISBN 0-8218-1646-2.
  4. ^ Milne. Algebraic Groups (PDF). pp. 45, semi-direct products. Archived (PDF) from the original on 2016-03-07.
  5. ^ Thompson, Nick. "Irreducible Brillouin Zones and Band Structures". Retrieved 13 December 2017.
  6. ^ "abstract algebra - Can every non-simple group $G$ be written as a semidirect product?". Mathematics Stack Exchange. Retrieved 2020-10-29.
  7. ^ H.E. Rose (2009). A Course on Finite Groups. Springer Science & Business Media. p. 183. ISBN 978-1-84882-889-6. Note that Rose uses the opposite notation convention than the one adopted on this page (p. 152).
  8. ^ Barr & Wells (2012, §12.2)
  9. ^ "".
  10. ^ e.g., E. B. Vinberg (2003). A Course in Algebra. Providence, RI: American Mathematical Society. p. 389. ISBN 0-8218-3413-4.
  11. ^ B. Simon (1996). Representations of Finite and Compact Groups. Providence, RI: American Mathematical Society. p. 6. ISBN 0-8218-0453-7.
  12. ^ See

References edit

  • Barr, Michael; Wells, Charles (2012), Category theory for computing science, Reprints in Theory and Applications of Categories, vol. 2012, p. 558, Zbl 1253.18001
  • Brown, R. (2006), Topology and groupoids, Booksurge, ISBN 1-4196-2722-8