Orders and primitive roots

$(\mathbb{Z}/p)^\times$ is cyclic: every unit is a power of a primitive root. Hensel lifts this to $p^k$.