
related topics 
{math, number, function} 
{group, member, jewish} 
{math, energy, light} 

In mathematics, specifically 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.
Contents
Some equivalent definitions
Let G be a group with identity element e, 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}.
 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, 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". In order to avoid ambiguities, it is advisable to specify which of the two subgroups is normal.
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.
Full article ▸


related documents 
Riemannian manifold 
Monoid 
Exponential function 
Interpolation 
Operator 
Communication complexity 
Set (mathematics) 
Metric space 
Category theory 
P = NP problem 
Dirac delta function 
Taylor's theorem 
Imaginary unit 
Multiplication 
Finite set 
Extended Euclidean algorithm 
Uniform continuity 
Template (programming) 
Exponentiation by squaring 
Vigenère cipher 
Control flow 
Hausdorff dimension 
Cholesky decomposition 
Busy beaver 
Quadratic equation 
General linear group 
Square root 
Relational database 
Integer 
Icon (programming language) 
