Generator

• [[group]]
• an element $g$ is a generator of a group if its [[order]] is $p - 1$
• every [[group]] has at least 1 generator