Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Subgrupos normales»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 26:
{{Proof|1=Para comenzar, debemos probar que la operación en <math>(G/N)</math> dada por <math>aNbN=abN
{{Eqn|<math>(ab)^{-1}a'b'=b^{-1}a^{-1}a'b'=b^{-1}a^{-1}a'(bb^{-1})b'=b^{-1}(a^{-1}a')b(b^{-1}b')</math>}}
Línea 84:
# <math>C_H\subseteq N_H</math>;
# <math>C_G=G\,\!</math> equivale a decir que <math>G</math> es abeliano.
|