14
$\begingroup$

Is there an analogous theory to Galois extension of fields for commutative rings? In particular, what does it mean for a ring extension to be Galois? Thanks.

  • 5
    There is $n$ot one but many such theories. See e.g. http://mathoverflow.net/questions/63741/is-there-a-galois-correspondence-for-ring-extensions2011-07-02

3 Answers 3

3

You should check Galois Theories of Francis Borceux.

7

See the following paper for an accessible introduction, and see also the answers to the MO question Is there a Galois correspondence for ring extensions?

M. Ferrero; A. Paques. Galois Theory of Commutative Rings Revisited.
Contributions to Algebra and Geometry, 38 (1997), No. 2, 399-410.

  • 0
    Thanks, Bill. I will check out these two references.2011-07-02
6

In several algebra books there are chapters devoted to integral ring extensions. (I refer to Lang's Algebra, Chapter VII "Extensions of Rings".) Here there are discribed "integrally closed" rings $A$ and there field of fractions $K$, together with a Galois extension $L$ over $K$ and the integral closure $B$ of $A$ in $L$. Instead of the roots of irreducible polynomials in $K$, that are split in $L$, the automorphisms of the Galois group now permute prime ideals of $B$ lying above a fixed prime ideal in $A$.

These kind of ring extensions have several more interesting properties. For details and the definitions of mentioned notions are given in the cited text.

  • 0
    After reading through Lang, it seems, I am more interested in this. I attended a lecture which briefly mentioned this, so I formulated a vague question.2011-07-03