28 votos

¿Por qué $E\otimes_KE\cong EG$ implica que la teoría de Galois funciona?

Estoy leyendo el libro Álgebra, volumen 1: Campos y teoría de Galois de Falko Lorenz.

Esta es una parte de la declaración en el libro que no aprecio completamente. Supongamos que $E/K$ es una extensión de Galois y $G$ es el grupo de Galois de $E/K$. Sea $EG$ el álgebra de grupo del grupo finito $G$, considerado como un módulo de $G$ (no como un anillo).

"Vale la pena señalar que $E\otimes_KE\cong EG$ se puede ver como una razón profunda por la cual la teoría de Galois funciona."

P: ¿Cuál es la implicación anterior? Pensé que la prueba de $E\otimes_KE\cong EG$ tiene un ingrediente importante que el mapa de traza es no degenerado (es decir, $E/K$ es separable). ¿Esto proporciona alguna representación de $G\to Aut_K(E)$? ¿Qué está intentando expresar el autor?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X