Galois extension
If formula_3 is a Galois extension, then formula_16 can be given a topology, called the Krull topology, that makes it into a profinite group.