17

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.

Martin Sleziak
  • 53,687
B M
  • 930
  • 6
    There is an analogy for finite 'etale ring extensions (this is a special case of and the motivation for Grothendieck's Galois theory (see http://en.wikipedia.org/wiki/Grothendieck%27s_Galois_theory). Namely, just as if $k$ is a field, then there is an equivalence of categories between continuous transitive $G$-sets ($G$ the absolute Galois group) and algebraic extensions of $k$, there is an equivalence of categories between finite 'etale maps $R \to S$ ($R$ a fixed ring, say a domain) and finite continuous $G$-sets for $G$ the 'etale fundamental group. – Akhil Mathew Jul 02 '11 at 18:15
  • 5
    There is not one but many such theories. See e.g. http://mathoverflow.net/questions/63741/is-there-a-galois-correspondence-for-ring-extensions – Pete L. Clark Jul 02 '11 at 18:18
  • @AkhilMathew, re, of course you want separable, not just algebraic, extensions of your field $k$. – LSpice Aug 03 '23 at 23:46

3 Answers3

8

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.

Peter Patzt
  • 3,054
  • Thanks Peter, this seems like exactly what I was looking for. – B M Jul 02 '11 at 18:23
  • 1
    After reading the other answers, this is not necessarily a Galois theory for rings but rather the Galois Theory of fields applied to rings. Nevertheless, this topic is very interesting and at the foundation of algebraic number theory, so very well worth looking into. (Btw if this is the answer you were looking for, you can upvote it and give it the answer tick. ;) ) – Peter Patzt Jul 02 '11 at 18:32
  • 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. – B M Jul 03 '11 at 04:06
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.

Community
  • 1
Bill Dubuque
  • 272,048
3

You should check Galois Theories of Francis Borceux.

Math.mx
  • 1,919