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 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. This remark leads to an extension problem, of describing the possibilities.
Read more about this topic: Semidirect Product
Famous quotes containing the words elementary and/or facts:
“As if paralyzed by the national fear of ideas, the democratic distrust of whatever strikes beneath the prevailing platitudes, it evades all resolute and honest dealing with what, after all, must be every healthy literature’s elementary materials.”
—H.L. (Henry Lewis)
“Science is facts. Just as houses are made of stones, so is science made of facts. But a pile of stones is not a house and a collection of facts is not necessarily science.”
—Jules Henri Poincare (1854–1912)