Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Homomorfismos»

Contenido eliminado Contenido añadido
Alephcero (discusión | contribs.)
Sin resumen de edición
Línea 19:
 
 
Se dice que un homomorfismo es un '''monomorfismo''', un '''epimorfismo''' o un '''isomorfsmoisomorfismo''' si es, respectivamente, inyectivo, sobreyectivo o biyectivo. Un homomorfismo de un grupo <math>G</math> en sí mismo se dice un '''endomorfismo''', mientras que un isomorfismo de un grupo <math>G</math> en sí mismo se dice un '''automorfismo'''.
 
Dos grupos <math>G</math> y <math>H</math> se dicen '''isomorfos''' si existe un isomorfismo entre ellos, hecho que representaremos por <math>G\cong H</math>. Dos grupos que son isomorfos son, desde el punto de vista algebraico, indistinguibles, pues lo que vale para <math>G</math> respecto de su operación de grupo vale también para <math>H</math> respecto de su operación de grupo, y viceversa. Así, aunque desde el punto de vista conjuntista <math>G</math> y <math>H</math> sean dos conjuntos diferentes, desde el punto de vista algebraico <math>G</math> y <math>H</math> son el mismo objeto.