Galois correspondence

For a finite Galois extension, subgroups correspond in reverse order to intermediate fields by taking fixed fields and field-fixing subgroups.