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:
“When the Devil quotes Scriptures, it’s not, really, to deceive, but simply that the masses are so ignorant of theology that somebody has to teach them the elementary texts before he can seduce them.”
—Paul Goodman (1911–1972)
“The history of his present majesty, is a history of unremitting injuries and usurpations ... all of which have in direct object the establishment of an absolute tyranny over these states. To prove this, let facts be submitted to a candid world, for the truth of which we pledge a faith yet unsullied by falsehood.”
—Thomas Jefferson (1743–1826)