Open main menu

Groupprops β

Sylow-closure

Definition

Symbol-free definition

A subgroup of a group is termed a Sylow-closure if it occurs as the normal closure of a Sylow subgroup.

In the prime parametrized sense, the p-Sylow closure is the normal closure of any p-Sylow subgroup (note that since all the Sylow subgroups are conjugate, this is a unique subgroup).