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.
New to topics? Read the docs here!