Grupo cociente

[diana_love]

Hola chicos cualquier ayuda se agradece =) 

Sea y sea un entero que divide a

 1) probar que y demostrar que es isomorfo a
 
Lo primero ya lo hice solo me falta probar el isomorfismo, pero todavía no puedo usar nada de los teoremas de isomorfismo :/

[Tanius]

Como existe un natural tal que . Define un homomorfismo mediante y . Calcula su nucleo y observa también que la imagen es isomorfa a . Aplica ahora el primer teorema de isomorfismo (aunque no puedas utilizar este teorema, en realidad su demostración es muy sencilla y puedes reproducirla para este caso particular, dicha demostración la puedes consultar. por ejemplo, en Abstract Algebra de Herstein o en An introduction to theory groups de Rotman).