Diferencia entre revisiones de «Álgebra Abstracta/Homomorfismos»

Contenido eliminado Contenido añadido
tag fix
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
Línea 11:
Hemos visto en el capítulo anterior tres grupos de orden 4:
C<sub>4,a</sub>, el grupo de Klein y el grupo de las raíces cuartas de la unidad,
U<sub>4</sub> = U<sub>4</sub>(<math>\scriptstyle \CComplex</math>). ¿Son esos
grupos distintos? La respuesta sería aparentemente si, si nos fijáramos
solamente en sus elementos. Sin embargo, en Álgebra Abstracta estamos más
Línea 417:
una nueva operación <math>\otimes</math> en <i>G</i> por
<math>(a,b) \otimes (c,d) := (ac - 5bd, ad +bc).</math>
Sea <i>f</i> la función de <i>G</i> en el grupo multiplicativo de los complejos, <math>\CComplex^*</math> tal que <math>f(a,b) = a + ib\sqrt{5}</math>, donde <math>i^2=-1</math>.
Probar que <i>G</i> es un grupo abeliano y que <i>f</i> es un monomorfismo de grupos.