20
$\begingroup$

This is a part of statement in the book I do not fully appreciate. Suppose $E/K$ is Galois extension and $G$ the galois group of $E/K$. $E[G]$ is the group ring formed by finite group $G$.

"It is worthwhile remarking that $E\otimes_KE\cong EG$ can be viewed as a deep reason why Galois theory works."

Q: What is the implication above? I though $E\otimes_KE\cong EG$'s proof has a major ingredient that the trace map is non degenerate.(i.e $E/K$ is separable.) Is this affording some representation of $G\to Aut_K(E)$? What is the author trying to express?

$\endgroup$
  • $\begingroup$ Which book is this from ? $\endgroup$ – Rene Schipperus May 13 '18 at 0:00
  • $\begingroup$ @ReneSchipperus Falko. Algebra Vol I:Fields and Galois Theory $\endgroup$ – user45765 May 13 '18 at 0:02
  • 1
    $\begingroup$ It's a long story. The keyword you want to look up is "torsor." $\endgroup$ – Qiaochu Yuan May 13 '18 at 2:15
  • 2
    $\begingroup$ @QiaochuYuan Is there a book that explains this story in detail? $\endgroup$ – Rene Schipperus May 13 '18 at 2:26
  • 1
    $\begingroup$ Now posted to MO, mathoverflow.net/questions/300197/… $\endgroup$ – Gerry Myerson May 14 '18 at 23:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.