Nos deja poner en nuestras manos un generador de AhoraH. vamos a mostrar quec=ma generaH. Ciertamente,⟨c⟩⊆H, pero supongamos que\(\langle...Nos deja poner en nuestras manos un generador de AhoraH. vamos a mostrar quec=ma generaH. Ciertamente,⟨c⟩⊆H, pero supongamos que⟨c⟩≠H. Entonces existeb∈H tal queb∉⟨c⟩. Ahora, ya queb estáG, adentro existen∈Z tal queb=na. Ahora aplicamos la propiedad de división y dividimosn porm.\(b = n a = (q m+r)a = (q…
