Normal subgroup of Sylow subgroup

This page describes a subgroup property obtained as a composition of two fundamental subgroup properties: normal subgroup and Sylow subgroup
View other such compositions|View all subgroup properties

Definition

A subgroup of a finite group is termed a normal subgroup of Sylow subgroup if it can be expressed as a normal subgroup of a $p$-Sylow subgroup of the whole for some prime $p$.

Relation with other properties

Stronger properties

• Normal subgroup of prime power order: Any normal $p$-subgroup for a prime $p$ is contained in a $p$-Sylow subgroup, and is also normal in that.
• Sylow subgroup of normal subgroup

Weaker properties

• Subgroup of prime power order