The separable Galois theory of commutative rings. (2014)