Let $G$ be a D22: Group.
Let $p$ be a D571: Prime integer.
Then $G$ is a P-group with respect to $p$ if and only if \begin{equation} \forall \, g \in G : \exists \, n \in \mathbb{N} : |g| = p^n \end{equation}