(mathematics, number theory) For a given modulus n, a number g such that for every a coprime to n there exists an integer k such that gk ≡ a (mod n); a generator (or primitive element) of the multiplicative group, modulo n, of integers relatively prime to n.