Normal Subgroups of Prime Power Index
Normal subgroups of prime power index are kernels of surjective maps to p-groups and have interesting structure, as described at Focal subgroup theorem: Subgroups and elaborated at focal subgroup theorem.
There are three important normal subgroups of prime power index, each being the smallest normal subgroup in a certain class:
- Ep(G) is the intersection of all index p normal subgroups; G/Ep(G) is an elementary abelian group, and is the largest elementary abelian p-group onto which G surjects.
- Ap(G) is the intersection of all normal subgroups K such that G/K is an abelian p-group (i.e., K is an index normal subgroup that contains the derived group ): G/Ap(G) is the largest abelian p-group (not necessarily elementary) onto which G surjects.
- Op(G) is the intersection of all normal subgroups K of G such that G/K is a (possibly non-abelian) p-group (i.e., K is an index normal subgroup): G/Op(G) is the largest p-group (not necessarily abelian) onto which G surjects. Op(G) is also known as the p-residual subgroup.
As these are weaker conditions on the groups K, one obtains the containments
These groups have important connections to the Sylow subgroups and the transfer homomorphism, as discussed there.
Read more about this topic: Index Of A Subgroup
Famous quotes containing the words normal, prime, power and/or index:
“Cant is always rather nauseating; but before we condemn political hypocrisy, let us remember that it is the tribute paid by men of leather to men of God, and that the acting of the part of someone better than oneself may actually commit one to a course of behaviour perceptibly less evil than what would be normal and natural in an avowed cynic.”
—Aldous Huxley (1894–1963)
“If one had to worry about one’s actions in respect of other people’s ideas, one might as well be buried alive in an antheap or married to an ambitious violinist. Whether that man is the prime minister, modifying his opinions to catch votes, or a bourgeois in terror lest some harmless act should be misunderstood and outrage some petty convention, that man is an inferior man and I do not want to have anything to do with him any more than I want to eat canned salmon.”
—Aleister Crowley (1875–1947)
“But it is impossible that the creative power should exclude itself. Into every intelligence there is a door which is never closed, through which the creator passes.”
—Ralph Waldo Emerson (1803–1882)
“Exile as a mode of genius no longer exists; in place of Joyce we have the fragments of work appearing in Index on Censorship.”
—Nadine Gordimer (b. 1923)