Grupo multiplicativo de enteros módulo n

Común

Carta Común · N.º 312333

Se define un grupo multiplicativo de enteros módulo n, denotado M n {\displaystyle M_{n}} , como un conjunto finito de enteros positivos menores que n y coprimos con respecto a n. En notación matemática se definiría: ( x ∈ M n ) ⇔ ( ( M C D ( n , x ) = 1 ) ∧ ( x < n ) ∧ ( x ∈ Z + ) ) {\displaystyle (x\in M_{n})\Leftrightarrow ((MCD(n,x)=1)\ \land \ (x<n)\ \land \ (x\in \mathbb {Z^{+}} ))}