On separable algebras in Grothendieck Galois theory

Federico G. Lastaria


We give an explicit proof of the fundamental theorem of Grothendieck Galois theory: the category of separable algebras over a field K is anti-equivalent to the category of continuous actions on finite sets of the profinite fundamental group of K.

Full Text: