 Primitive-root modulus classification

An integer $n$ has a primitive root exactly whenwhere $p$ is an odd prime and $a\ge 1$. When primitive roots exist, their number is $\phi (\phi (n))$.