%%visits: 2 The semi_direct_product is used to decompose large groups into smaller groups, and hopefully find the [[normal_subgroup]]s of the groups too, to really understand what is going on with these objects and therefore learning more about operations, elements and different interactions between two numbers.
The motivation for the semi_direct_product is to give only 1 normal subgroup
There are different notation to the semi_direct_product. ⋉ = ⊳ + ×
And J = G ⋉ H is
called an extension of H by
G ## rigour The
semi_direct_produc := The set H × G with the group
operation. (g1, h1)(g2, h2) = (g1g2, g1ϕg1(h2)
## exam clinic ## examples and non-examples ## resources tags :math: