On separable algebras in Grothendieck Galois theory

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.