Semidirect product

Semidirect product

In mathematics, especially in the area of abstract algebra known as group theory, a semidirect product is a particular way in which a group can be put together from two subgroups, one of which is a normal subgroup. A semidirect product is a generalization of a direct product. A semidirect product is a cartesian product as a set, but with a particular multiplication operation.

Some equivalent definitions

Let "G" be a group, "N" a normal subgroup of "G" (i.e., "N" ◁ "G") and "H" a subgroup of "G". The following statements are equivalent:
* "G" = "NH" and "N" ∩ "H" = {"e"} (with "e" being the identity element of "G")
* "G" = "HN" and "N" ∩ "H" = {"e"}
* Every element of "G" can be written as a unique product of an element of "N" and an element of "H"
* Every element of "G" can be written as a unique product of an element of "H" and an element of "N"
* The natural embedding "H" → "G", composed with the natural projection "G" → "G / N", yields an isomorphism between "H" and the quotient group "G / N"
* There exists a homomorphism "G" → "H" which is the identity on "H" and whose kernel is "N" If one (and therefore all) of these statements hold, we say that "G" is a semidirect product of "N" and "H", or that "G" "splits" over "N".

Elementary facts and caveats

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".

Note that, 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 which both contain "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. This remark leads to an extension problem, of describing the possibilities.

Semidirect products and group homomorphisms

Let "G" be a semidirect product of "N" and "H". Let Aut("N") denote the group of all automorphisms of "N". The map φ : "H" → Aut("N") defined by φ("h") = φ"h", where φ"h"("n") = "hnh"-1 for all "h" in "H" and "n" in "N", is a group homomorphism. Together "N", "H" and φ determine "G" up to isomorphism, as we show now.

Given any two groups "N" and "H" (not necessarily subgroups of a given group) and a group homomorphism φ : "H" → Aut("N"), the new group N times_{varphi}H (or simply "N" ×φ "H") is called the semidirect product of "N" and "H" with respect to φ, defined as follows. As a set, N times_{varphi}H is defined as the cartesian product "N" × "H". Multiplication of elements in the cartesian product is determined by the homomorphism φ, with the operation * defined by:(n_1, h_1)*(n_2, h_2) = (n_1varphi_{h_1}(n_2), h_1h_2)for all "n"1, "n"2 in "N" and "h"1, "h"2 in "H". This is a group in which the identity element is ("e""N", "e""H") and the inverse of the element ("n", "h") is (φ"h"–1("n"–1), "h"–1). Pairs ("n","e""H") form a normal subgroup isomorphic to "N", while pairs ("e""N", "h") form a subgroup isomorphic to "H". The full group is a semidirect product of those two subgroups in the sense given above.

Conversely, suppose that we are given a group "G" with a normal subgroup "N", a subgroup "H", and 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 given by φ("h") = φ"h", where:varphi_h(n) = hnh^{-1}for all "n" in "N" and "h" in "H".Then "G" is isomorphic to the semidirect product N times_{phi}H ; the isomorphism sends the product "nh" to the tuple ("n","h"). In "G", we have the multiplication rule:(n_1h_1)(n_2h_2) = (n_1(h_1n_2h_1^{-1}))(h_1h_2).

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

: 1longrightarrow N longrightarrow^{!!!!!!!!!eta} , G longrightarrow^{!!!!!!!!!alpha} , H longrightarrow 1

and a group homomorphism γ : "H" → "G" such that alpha circ gamma = id_H, the identity map on "H". In this case, φ : "H" → Aut("N") is given by φ("h") = φ"h", where:phi_h(n) = eta^{-1}(gamma(h)eta(n)gamma(h^{-1})).

If φ is the trivial homomorphism, sending every element of "H" to the identity automorphism of "N", then N times_{phi}H is the direct product N imes H.

Examples

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

:langle a,;b mid a^2 = e,; b^n = e,; aba^{-1}=b^{-1} angle.

More generally, a semidirect product of any two cyclic groups C_m; with generator a; and C_n; with generator b; is given by a single relation aba^{-1}=b^k; with k; and n; coprime, i.e. the presentation:

:langle a,;b mid a^m=e,;b^n = e,;aba^{-1}=b^k; angle.

If r; and m; are coprime, a^r; is a generator of C_m; anda^rba^{-r}=b^{k^r};, hence the presentation:

:langle a,;b mid a^m=e,;b^n = e,;aba^{-1}=b^{k^{r; angle

gives a group isomorphic to the previous one.

The fundamental group of the Klein bottle can be presented in the form:langle a,;b mid aba^{-1}=b^{-1}; angleand is therefore a semidirect product of the group of integers, mathbb{Z}, with itself.

The Euclidean group of all rigid motions ( isometries) of the plane (maps "f" : R2 → R2 such that the Euclidean distance between "x" and "y" equals the distance between "f"("x") and "f"("y") for all "x" and "y" in R2) is isomorphic to a semidirect product of the abelian group R2 (which describes translations) and the group O(2) of orthogonal 2×2 matrices (which describes rotations and reflections which keep the origin fixed). "n" is a translation, "h" a rotation or reflection. Applying a translation and then a rotation or reflection corresponds to 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). Every orthogonal matrix acts as an automorphism on R2 by matrix multiplication.

The orthogonal group O("n") of all orthogonal real "n"×"n" matrices (intuitively the set of all rotations and reflections of "n"-dimensional space which 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 "C"2. If we represent "C"2 as the multiplicative group of matrices {"I", "R"}, where "R" is a reflection of "n" dimensional space which keeps the origin fixed (i.e. an orthogonal matrix with determinant –1 representing an involution), then φ : "C"2 → Aut(SO("n")) is given by φ("H")("N") = "H" "N" "H"–1 for all "H" in "C"2 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 (a rotation axis and the direction of rotation are replaced by their "mirror image").

Relation to direct products

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 "G" → "N" which is the identity on "N", 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 outer semidirect product of "N" and "H" with respect to φ("h") = id"N" 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.

Generalizations

The construction of semidirect products can be pushed much further. The Zappa-Szep product of groups is a generalization which, 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 seen naturally as soon as one constructs a group ring for a semidirect product of groups. There is also the semidirect sum of Lie algebras. Given a group action on a topological space, there is a corresponding crossed product which will in general be non-commutative even if the group is abelian. This kind of ring (see crossed product for a related construction) can play the role of the "space of orbits" of the group action, in cases where that space cannot be approached by conventional topological techniques - for example in the work of Alain Connes (cf. noncommutative geometry).

There are also far-reaching generalisations in category theory. They show how to construct "fibred categories" from "indexed categories". This is an abstract form of the outer semidirect product construction.

Abelian categories

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

Sources differ in their notation for the semidirect product. Some texts discuss it with no explicit notation. Others use the subscripted "times" symbol (×φ) as above to modify the direct product by inclusion of a homomorphism, writing the normal group on the left. Other notation reshapes the times symbol—for example: ltimes or times, with or without subscripts. One way of thinking about the times symbol is as a combination of the symbol for normal subgroup ( riangleleft) and the symbol for the product ( imes).

Unicode [http://www.unicode.org/charts/symbols.html] lists four variants:

:

Although the Unicode description of the rtimes symbol says "right normal factor", a number of authors use it with a left normal factor. Therefore the usual caution for mathematical notation applies: When reading, be careful to notice the conventions adopted by the author, and when writing, explain notation choices for the reader. The choice of symbol may vary, but putting the normal factor on the left seems fairly consistent.

In LaTeX, the commands times and ltimes produce the corresponding characters.

See also

*Direct product
*Wreath product
*Holomorph


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Product of group subsets — In mathematics, one can define a product of group subsets in a natural way. If S and T are subsets of a group G then their product is the subset of G defined by:ST = {st : s in S mbox{ and } tin T}Note that S and T need not be subgroups. The… …   Wikipedia

  • Product of groups — In mathematics, a product of groups usually refers to a direct product of groups, but may also mean: *semidirect product *product of subgroups *wreath product *free product …   Wikipedia

  • semidirect — adjective Describing a Cartesian product associated with a particular multiplication operation …   Wiktionary

  • Direct product of groups — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …   Wikipedia

  • Wreath product — In mathematics, the wreath product of group theory is a specialized product of two groups, based on a semidirect product. Wreath products are an important tool in the classification of permutation groups and also provide a way of constructing… …   Wikipedia

  • Crossed product — In mathematics, and more specifically in the theory of von Neumann algebras, a crossed product is a basic method of constructing a new von Neumann algebra from a von Neumann algebra acted on by a group. It is related to the semidirect product… …   Wikipedia

  • Zappa-Szép product — In mathematics, especially group theory, the Zappa Szep product (also known as the knit product) describes a way in which a group can be constructed from two subgroups. It is a generalization of the direct and semidirect products.Internal Zappa… …   Wikipedia

  • Direct product — In mathematics, one can often define a direct product of objects already known, giving a new one. This is generally the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one… …   Wikipedia

  • Bianchi classification — In mathematics, the Bianchi classification, named for Luigi Bianchi, is a classification of the 3 dimensional real Lie algebras into 11 classes, 9 of which are single groups and two of which have a continuum of isomorphism classes. (Sometimes two …   Wikipedia

  • General linear group — Group theory Group theory …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”