The multiplicative group of integers modulo p (i.e. group of units in the ring Z/pZ) is cyclic of order p-1, meaning there exist generators g (which generates the rest of the group), or equivalently elements of maximal order p-1; such elements g are called primitive roots mod p.