Se dice que el número $a$ es raíz primitiva del módulo m, si el orden de $a$ respecto al módulo $m$ resulta ser $\phi(m)$.
Por ejemplo, si m=7, los órdenes de los posibles residuos en la división entre 7 son: o(1)=1, o(2)=3, o(3)=6, o(4)=3, o(5)=6, o(6)=2. (El orden se encuentra enlistando las potencias del número hasta que se llega a un residuo 1: el orden de 2 es 3 pues 2^3=8=7+1.) El lector puede comprobar que el 3 y el 5 son raíces primitivas, es decir, su orden es $\phi(7)=6$.
Ver también:
Orden de un entero (módulo m)