Normal p-complement

From Groupprops
Jump to: navigation, search
The article defines a subgroup property, where the definition may be in terms of a particular prime number that serves as parameter
View other prime-parametrized subgroup properties | View all subgroup properties


Symbol-free definition

A subgroup of a group is said to be a normal p-complement if it is a normal subgroup and it has a Sylow subgroup (particularly a Sylow p-subgroup) as a permutable complement.

A group that has a normal p-complement is termed a p-nilpotent group.

Definition with symbols

A subgroup H of a group G is said to be a normal p-complement if it satisfies the following equivalent conditions:

  1. H is normal in G and there is a Sylow p-subgroup P of G such that HP = G and H \cap P is trivial.
  2. H is normal in G and for every Sylow p-subgroup P of G, HP = G and H \cap P is trivial.
  3. H is a normal Hall subgroup of G whose order is relatively prime to p and whose index is a power of p. In other words, H is a normal p'-Hall subgroup of G.

If G contains a normal p-complement H, we say that G is a p-nilpotent group.


Normal p-complements may not always exist.

A complete list of normal p-complement theorems is available at:

Category:Normal p-complement theorems