The Galois Correspondence

We are at last in a position to establish the fundamental properties of the Galois correspondence between a field extension and its Galois group. Most of the work has already been done, and all that remains is to put the pieces together.