Galois extension
Example: "KO" → "KU" is a ℤ./2-Galois extension.