Lo que sigue es un extracto de los apuntes de mi curso de Teoría de Galois.
Entiendo la prueba en sentido inverso, así que he incluido sólo la parte de la prueba que me confunde, aunque parece bastante inofensiva.
¿Puede alguien explicar por qué es el caso que $j(m_\alpha)(j(\alpha))=j(m_\alpha(\alpha))$ ( segunda línea de prueba )? No veo por qué esto se sostiene necesariamente.
Todo lo demás lo sigo. Gracias.