Galois correspondence (source code)

= Galois correspondence
{c}
{wiki}

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