A **powerful \( p \)-group** is a special type of \( p \)-group (a group where the order of every element is a power of a prime \( p \)) that satisfies certain conditions regarding its commutator structure.
New to topics? Read the docs here!
New to topics? Read the docs here!