p-nilpotent group
= p-nilpotent group
= p-nilpotent
{synonym}
A <finite group> is p-nilpotent when it has a <normal p-complement>. This terminology is distinct from having a normal Sylow p-subgroup. A <finite group> is <nilpotent> exactly when it is p-nilpotent for every prime dividing its order.