Diferencia entre revisiones de «Álgebra Abstracta/Homomorfismos»

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 96:
--------------------------------------------------------------------------------
{{Ejmpl|Ejemplo (Grupo Producto)}}
Sean G, H, K grupos tales que <math>G = hH \times K</math>. Sea <math>pr_H:G \longrightarrow H</math> tal que <math>pr_H(h,k) = h</math> (proyección en la primera coordenada). <math>pr_H</math> es un supramorfismoo, ya que
{{Eqn|<math>pr_H((h_1,k_1)(h_2k_2)) = pr_H(h_1h_2,k_1k_2)= h_1h_2 = pr_H(h_1,k_1)pr_H(h_2,k_2).</math>}}
Resultado análogo para la segunda proyección.