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

Contenido eliminado Contenido añadido
Alephcero (discusión | contribs.)
Alephcero (discusión | contribs.)
Línea 16:
 
 
'''Demostración:''' {{Proof|1=En efecto, pues <math>f(1_G)=f(1_G\cdot 1_G)=f(1_G)f(1_G)</math>, lo que implica <math>f(1_G)=1_H</math>. Además, <math>f(a^{-1})f(a)=f(a^{-1}a)=f(1_G)=1_H</math>, luego <math>f(a^{-1})=f(a)^{-1}</math>.}}
 
 
Línea 23:
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.
 
Sea <math>G</math> un grupo. Denotaremos por <math>\mbox{Aut}\ G</math> al conjunto de todos los automorfismos del grupo <math>G</math>. EsPuede fácil verprobarse que <math>\mbox{Aut} G</math> es a su vez un grupo tomando como operación la composición de aplicaciones.
 
 
Línea 34:
 
 
'''Demostración:''' {{Proof|1=Si <math>f:G\longrightarrow H</math> es un monomorfismo, entonces sólo puede existir un elemento <math>a</math> de <math>G</math> tal que <math>f(a)=1_H</math>, y por el teorema 1.11, ese elemento es <math>1_G</math>, de modo que <math>\ker f=\{1_G\}</math>. Recíprocamente, si <math>\ker f=\{1_G\}</math> y <math>f(a)=f(b)</math>, entonces <math>1_H=f(a)f(b)^{-1}=f(a)f(b^{-1})=f(ab^{-1})</math>, lo que implica <math>ab^{-1}\in\ker f</math>, luego <math>ab^{-1}=1_G</math> y así <math>a=b</math>, por lo que <math>f</math> es inyectiva y con ello un monomorfismo.}}