Demostrar que $U(n)$ que es el conjunto de todos los números relativamente primos a $n$ que sean mayores o iguales a uno o menores o iguales a $n-1$ es un grupo abeliano.
Mi proceso de pensamiento: para $a, b \in U(n)$
La asociatividad: $(a + b) + c = a + (b + c)$
La identidad: $1$ está en el conjunto así que $a\cdot 1 = a = 1\cdot a$
Invertido: Estoy atascado en cómo determinar la inversa del conjunto si existe.
Criterios abelianos : $a\cdot b = b\cdot a$
Gracias