A number a such that every residue modulo p can be expressed as a power of a modulo p, where p is a prime.