If there exists a one-to-one correspondence between two subgroups and subfields such that G(E(G')) | = | G' E(G(E')) | = | E', then E is said to have a Galois theory. A Galois correspondence can also be defined for more general categories.

Abel's impossibility theorem | subfield