Diferencia entre revisiones de «Álgebra Abstracta/Homomorfismos»

Contenido eliminado Contenido añadido
Sin resumen de edición
Línea 320:
Como <math>S_f(\sigma)</math> es una composición de biyecciones, se trata
de una biyección de <i>Y</i> en <i>Y</i>, o sea de un elemento de
<math>S_Y</math>.
Veamos, ahora, que <math>S_f</math> es un
homomorfismo.<center><math>
S_f(\sigma )S_f(\tau) =f \sigma f^{-1} \circ f \tau) \f^{-1} = f (\sigma \tau) f^{-1} =
 
<center><math>
 
S_f(\sigma )S_f(\tau) =f \sigma f^{-1} \circ f \tau) \f^{-1} = f (\sigma \tau) f^{-1} =
S_f(\sigma \tau ). </math></center> Claramente, la asignación para cada <math>\eta</math> de <math>S_Y</math> de <math>f^{-1} \eta f</math> de <math>S_X</math> es una función inversa de
<math>S_f</math> por lo que <math>S_f</math> es una biyección, lo que