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:
“A normal adolescent is so restless and twitchy and awkward that he can mange to injure his knee—not playing soccer, not playing football—but by falling off his chair in the middle of French class.”
—Judith Viorst (20th century)
“One wants in a Prime Minister a good many things, but not very great things. He should be clever but need not be a genius; he should be conscientious but by no means strait-laced; he should be cautious but never timid, bold but never venturesome; he should have a good digestion, genial manners, and, above all, a thick skin.”
—Anthony Trollope (1815–1882)
“In the United States, though power corrupts, the expectation of power paralyzes.”
—John Kenneth Galbraith (b. 1908)
“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)