Se define un grupo multiplicativo de enteros módulo n, denotado
, como un conjunto finito de enteros positivos menores que n y coprimos con respecto a n.[1] En notación matemática se definiría:
Se puede calcular fácilmente el cardinal de cualquier conjunto
usando la función indicatriz de Euler
se sabe que si n es primo
[1][2] Se define como un grupo abeliano, ya que cumple la propiedad asociativa, existe elemento neutro, para cada elemento existe un elemento simétrico y es conmutativo.
La propiedad asociativa y conmutativa se verifican fácilmente al aplicarse la operación módulo y multiplicación sobre los elementos, ya que ambas son asociativas y conmutativas.
El elemento neutro sería 1, el mismo que para la multiplicación.
La existencia del simétrico está determinada por la característica de que los números que lo conformen sean coprimos a n, ya que se establece que si a y b son coprimos entre sí, entonces
m o d
La tabla de Cayley de este grupo sería: Se observa que se cumple la propiedad conmutativa (la tabla es simétrica), es asociativa (se puede demostrar con el test de asociatividad de Light), existe un elemento neutro (sería el uno, al no alterar las columnas y filas en sus respectiva fila y columna) y existe un simétrico (en todas las columnas y filas aparece el elemento neutro).
Además, una de las propiedades de los grupos en las tablas de Cayley es que en cada fila y columna aparezca una única vez cada elemento, es decir, las filas y columnas son permutaciones de los elementos del grupo.
Las aplicaciones de este grupo son muy variadas, relacionadas principalmente con la teoría de números, la criptografía, la factorización de enteros, o los test de primalidad entre otras áreas de las matemáticas.
que elevándolo a diferentes exponentes podemos obtener el resto de elementos del grupo.
donde p es primo y diferente de 2 y k un entero positivo.