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:
“If men as individuals surrender to the call of their elementary instincts, avoiding pain and seeking satisfaction only for their own selves, the result for them all taken together must be a state of insecurity, of fear, and of promiscuous misery.”
—Albert Einstein (1879–1955)
“The poor and the low have their way of expressing the last facts of philosophy as well as you. “Blessed be nothing,” and “The worse things are, the better they are,” are proverbs which express the transcendentalism of common life.”
—Ralph Waldo Emerson (1803–1882)