A primitive root module a prime is an integer in such that every non-zero element of is a power of .

We can say here can generate the space of

An important fact is that there is a primitive root module for every prime . Suppose this primitive root is , and is an integer between and inclusive. If and , we say that is the discrete logarithm of module to the base and we write