We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois desce...

A Galois correspondence for finitely generated field extensions k/h is presented in the case characteristic h = p ^ 0. A field extension k/h is Galois if it is modular and h is separably algebraically closed in k. Galois groups are the direct limit of groups of higher derivations having rank a power of p. Galois groups are characterized in terms of abelian iterative generating sets in a manner ...