p-nilpotent group (source code)

= 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.