Grupos nZ

Henry Meja
1 Agosto 2015
Mostrar que si U  Z n/U = nZ
Sea U subrgupo de z
Si U = {0}, trivialmente U = 0Z
Sino, existen elementos no nulos positivos (por la existencia de inverso)
Procedamos por absurdo, supongamos que n : U 6= nZ (1)

Sabemos que m : x U : mx U , por la cerradura. Entonces el

residuo r entre dos elementos positivos x > y U tambien esta en U , ya
que r = x dy para alg
un d positivo y cerradura. Con r < y (2), donde
r > 0 a menos que x = dy.(3)

Existe x0 no nulo positivo. Llamemos O(x) a alg

un n
umero positivo en U
que no es m
ultiplo de x, que esta bien definida por (1)
Ahora construyamos la sucesion (xn )nN , con xn siendo el mnimo entre O(xn 1) y el residuo entre O(xn1 ) y xn1
Donde necesariamente xn > 0 para todo n. por (3) (4).
Pero, xn < xn1 (5) ya que si O(xn1 ) < xn1 , trivialmente xn = O(xn1 ).
Y si O(xn1 ) > xn1 , xn < xn1 por (3).
Luego, por (5): xn xn1 + 1, entonces xx0 0 que contradice a (4).