Powerful p-group

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.