Introduces the notion of a Galois extension of commutative $S$-algebras ($E_\infty$ ring spectra), often localized with respect to a fixed homology theory. The author establishes the main theorem of Galois theory.