In a book im reading the following definition is given for a primitive root:
"An integer $a$ is called a primitive root mod $p$ if $\overline{ a }$ generates the group $U(\mathbb{Z}/p\mathbb{Z})$. Equivalently, $a$ is a primitive root mod $p$ if $p-1$ is the smallest positive integer such that $a^{p-1} \equiv 1 \text{ mod } p$."
I'm having a lot of trouble understanding why these two definitions are equivilant. Would anybody be able to explain why?
Assuming $p$ is a prime, the group $U(\Bbb Z/p\Bbb Z)$ has prder $p-1$. So if the group is cyclic and has a generator $a$ (it is, and does, but that's a different theorem), then $a$ must necessarily have order $p-1$. Conversely, if there is an element $a$ of order $p-1$, it must necessarily generate the whole group.