Some Equivalent Definitions
Let G be a group with identity element e, N a normal subgroup of G (i.e., N ◁ G) and H a subgroup of G. The following statements are equivalent:
- G = NH and N ∩ H = {e}.
- G = HN and N ∩ H = {e}.
- Every element of G can be written as a unique product of an element of N and an element of H.
- Every element of G can be written as a unique product of an element of H and an element of N.
- The natural embedding H → G, composed with the natural projection G → G / N, yields an isomorphism between H and the quotient group G / N.
- There exists a homomorphism G → H which is the identity on H and whose kernel is N.
If one (and therefore all) of these statements hold, we say that G is a semidirect product of N and H, written or that G splits over N; one also says that G is a semidirect product of H acting on N, or even a semidirect product of H and N. In order to avoid ambiguities, it is advisable to specify which of the two subgroups is normal.
Read more about this topic: Semidirect Product
Famous quotes containing the words equivalent and/or definitions:
“Every notable advance in technique or organization has to be paid for, and in most cases the debit is more or less equivalent to the credit. Except of course when it’s more than equivalent, as it has been with universal education, for example, or wireless, or these damned aeroplanes. In which case, of course, your progress is a step backwards and downwards.”
—Aldous Huxley (1894–1963)
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)