The separable Galois theory of commutative rings