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:
“The word career is a divisive word. It’s a word that divides the normal life from business or professional life.”
—Grace Paley (b. 1922)
“One’s prime is elusive. You little girls, when you grow up, must be on the alert to recognize your prime at whatever time of your life it may occur. You must then live it to the full.”
—Muriel Spark (b. 1918)
“Unfortunately, we cannot rely solely on employers seeing that it is in their self-interest to change the workplace. Since the benefits of family-friendly policies are long-term, they may not be immediately visible or quantifiable; companies tend to look for success in the bottom line. On a deeper level, we are asking those in power to change the rules by which they themselves succeeded and with which they identify.”
—Anne C. Weisberg (20th century)
“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)