A bit more about Galois theory

We've so far considered all field theory to be part of the basic
requisites for the Stacks project. But we could have a bit more
detail in the presentation of this material.