Let $p$ be a prime number. A $p$-group is a group whose order is a power of $p$.
Equivalently, a group is a $p$-group if the order of every element in a $p$-group is a power of $p$.
Wikidata ID: Q286972