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:
“I don’t mind saying in advance that in my opinion jealousy is normal and healthy. Jealousy arises out of the fact that children love. If they have no capacity to love, then they don’t show jealousy.”
—D.W. Winnicott (20th century)
“By whatever means it is accomplished, the prime business of a play is to arouse the passions of its audience so that by the route of passion may be opened up new relationships between a man and men, and between men and Man. Drama is akin to the other inventions of man in that it ought to help us to know more, and not merely to spend our feelings.”
—Arthur Miller (b. 1915)
“It cannot be denied that for a society which has to create scarcity to save its members from starvation, to whom abundance spells disaster, and to whom unlimited energy means unlimited power for war and destruction, there is an ominous cloud in the distance though at present it be no bigger than a man’s hand.”
—Arthur Stanley Eddington (1882–1944)
“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)