In field theory, a branch of mathematics, a primitive element of a finite field GF(q) is a generator of the multiplicative group of the field, which is necessarily cyclic.