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 formula_1, es decir, si formula_2 existe formula_3 tal que formula_4.