This textbook arises from a master's course taught by the author at the University of Coimbra. It takes the reader from the very classical Galois theorem for fields to its generalization to the case of rings. Given a finite-dimensional Galois extension of fields, the classical bijection between the intermediate field extensions and the subgroups of the corresponding Galois group was extended by Grothendieck as an equivalence between finite-dimensional...