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:
“We have been weakened in our resistance to the professional anti-Communists because we know in our hearts that our so-called democracy has excluded millions of citizens from a normal life and the normal American privileges of health, housing and education.”
—Agnes E. Meyer (1887–1970)
“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)
“A physician can sometimes parry the scythe of death, but has no power over the sand in the hourglass.”
—Hester Lynch Piozzi (1741–1821)
“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)