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:
“Listen. We converse as we live—by repeating, by combining and recombining a few elements over and over again just as nature does when of elementary particles it builds a world.”
—William Gass (b. 1924)
“Each truth that a writer acquires is a lantern, which he turns full on what facts and thoughts lay already in his mind, and behold, all the mats and rubbish which had littered his garret become precious. Every trivial fact in his private biography becomes an illustration of this new principle, revisits the day, and delights all men by its piquancy and new charm.”
—Ralph Waldo Emerson (1803–1882)