Lo último que vimos hoy fue el teorema 12.5 de las notas. Quería comentarles que el argumento que usé hoy con el normalizador, si bien es correcto, es innecesario. En referencia a la prueba de las notas, al considerar el subgrupo H de orden 3, en realidad lo que importa no es el valor de n_3 si no el que H sea normal o no. Si H no es normal, entonces se considera el morfismo de G en las biyecciones de G/H asociado a la acción de G en G/H (a eso se refiere lo de aplicar la proposición 8.22), el núcleo de ese morfismo está contenido en H, y como H no es normal y el orden de H es 3, entonces ese núcleo es trivial. Luego sigue la prueba.

Quería comentarles lo anterior porque me parece que no estaba muy claro en las notas, y en la clase utilicé argumentos que se podían simplificar.

El martes empezamos con cuerpos.