raíz primitiva módulo n

Dado un número natural n, decimos que a es una raíz primitiva módulo n (abreviado mod n), si a genera como grupo a , es decir, si existe tal que . Aquí denota los elementos invertibles módulo n. Dado que el orden de es , siendo φ la función phi de Euler, una raíz primitiva es un elemento con ese orden.