El grupo multiplicativo de las raíces "n"-ésimas de 1, es isomorfo con el grupo aditivo de los restos módulo n.Hay inyectividad entre la primitividad de una raíz primitiva de la unidad y la primalidad de un resto respecto al módulo.