Semidirect product

From Academic Kids

In abstract algebra, a semidirect product describes a particular way in which a group can be put together from two subgroups.

Contents

Some equivalent definitions

Let G be a group, N a normal subgroup of G and H a subgroup of G. The following statements are equivalent:

  • G = NH and NH = {e} (with e being the identity element of G)
  • G = HN and NH = {e}
  • Every element of G can be written in one and only one way as a product of an element of N and an element of H
  • Every element of G can be written in one and only one way as a product of an element of H and an element of N
  • The natural embedding HG, composed with the natural projection GG/N, yields an isomorphism between H and G/N
  • There exists a homomorphism GH 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, and we write G = NH.

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

Outer semidirect products

If G is a semidirect product of N and H, then the map φ : H → Aut(N) (where Aut(N) denotes the group of all automorphisms of N) defined by φ(h)(n) = hnh1 for all h in H and n in N is a group homomorphism. It turns out that N, H and φ together determine G up to isomorphism, as we will show next.

Given any two groups N and H (not necessarily subgroups of a given group) and a group homomorphism φ : H → Aut(N), we define a new group NφH, the semidirect product of N and H with respect to φ as follows: the underlying set is the cartesian product N × H, and the group operation * is given by

(n1, h1) * (n2, h2) = (n1 φ(h1)(n2), h1 h2)

for all n1, n2 in N and h1, h2 in H. This defines indeed a group; its identity element is (eN, eH) and the inverse of the element (n, h) is (φ(h1)(n1), h1). N × {eH} is a normal subgroup isomorphic to N, {eN} × H is a subgroup isomorphic to H, and the group is a semidirect product of those two subgroups in the sense given above.

Suppose now conversely that we are given an internal semidirect product as defined above, i.e. 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

φ(h)(n)=hnh1.

Then G is isomorphic to the outer semidirect product NφH; the isomorphism sends the product nh to the tuple (n,h). In G, we have the rule

(n1h1)(n2h2) = n1(h1n2h11)(h1h2)

and this is the deeper reason for the above definition of the outer semidirect product, and an easy way to memorize it.

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

<math> 0\longrightarrow N \longrightarrow^{\!\!\!\!\!\!\!\!\!u}\ \, G \longrightarrow^{\!\!\!\!\!\!\!\!\!v}\ \, H \longrightarrow 0<math>

and a group homomorphism r : HG such that v o r = idH, the identity map on H. In this case, φ : H → Aut(N) is given by

φ(h)(n) = u1(r(h)u(n)r(h1)).

Examples

The dihedral group Dn with 2n elements is isomorphic to a semidirect product of the cyclic groups Cn and C2. Here, the non-identity element of C2 acts on Cn by inverting elements; this is an automorphisms since Cn is abelian.

The group of all rigid motions of the plane (maps f : R2R2 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 22 matrices (which describes rotations and reflections). Every orthogonal matrix acts as an automorphism on R2 by matrix multiplication.

The group O(n) of all orthogonal real nn matrices (intuitively the set of all rotations and reflections of n-dimensional space) 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 (i.e. an orthogonal matrix with determinant 1), then φ : C2 → Aut(SO(n)) is given by φ(H)(N) = H N H1 for all H in C2 and N in SO(n).

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 GN 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) = 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.

Generalizations

The construction of semidirect products can be pushed much further. There is a version 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 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.

See also

Navigation

Academic Kids Menu

  • Art and Cultures
    • Art (http://www.academickids.com/encyclopedia/index.php/Art)
    • Architecture (http://www.academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (http://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (http://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools