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 wor...