I have read this previous question on existence of a non-trivial Galois extension. I was wondering about the following situation. Suppose, $R$ is a domain that is not a field. When does the fraction field of $R$ have a non-trivial Galois extension?
When does the fraction field of a ring have a non-trivial Galois extension
-
0First, this question only makes sense when $R$ is a (commutative) domain. Now I think this is too trivial to make into an answer, but you are really asking when the fraction field of $R$ is not algebraically closed. Based on concrete examples I have on hand (e.g. rings of integers in number fields and $p$-adic fields, algebras of regular functions on irreducible varieties, etc.) the answer is "almost always." – 2011-11-13
-
1The algebraic closure of a field is always a Galois extension of the field, and if you want the extension to be finite you can always take the splitting field of any separable polynomial. This will be nontrivial unless the field is already separably closed. – 2011-11-13
-
0@Justin: Thanks, I did mean a domain. – 2011-11-13
-
0Oops, I should have said "separably closed" as in Ted's comment. Actually, maybe I should retract my claim that the fraction field is "almost always" not separably closed in interesting examples. For example, consider the ring of integers in $\overline{\mathbb{Q}}_p$. So I guess it really depends. – 2011-11-13
-
0@Ted: Isn't the algebraic closure a Galois extension iff the field is perfect? – 2011-11-13
-
0@Vince: Yes. I meant that the separable closure is always a Galois extension (the smallest extension in which every separable polynomial has a root). – 2011-11-13
-
0@Ted: Thanks, so is there some condition on the ring which guarantees that it's fraction field is not separably closed? – 2011-11-13
-
0@Vince: This will be true for almost any domain you can think of. For example, the ring of integers of any number field, any polynomial ring in a finite number variables over a field, the valuation ring of a local field, or any subring of any of these rings. Having its field of fractions separably closed is a very special condition. – 2011-11-13
1 Answers
If $R$ is a (commutative) noetherian domain and is not a field, and suppose that its integral closure is also noetherian. Then $K=\mathrm{Frac}(R)$ has a non-trivial Galois extension.
First note that the integral closure of $R$ is not a field: otherwise, for any non-zero $b\in R$, $1/b$ is integral over $R$. Writing an integral relation of $1/b$ over $R$, we see easily that $b$ is a unit in $R$, hence $R=K$.
So we can suppose that $R$ is integrally closed. As said Ted in the comments, we have to show that $K$ is not separably closed. Suppose the contrary. Let $p\ge 2$ be an integer, prime to the characteristic of $K$ if the latter has positive characteristic. By hypothesis, there exists $b\in R$ non-zero and non-invertible. For any $n\ge 1$, $b^{1/p^n}$ is separable over $K$. So $b^{1/p^n}\in K$. As it is clearly integral over $R$, it belongs to $R$. Then we get an increasing sequence of ideals $b^{1/p^n}R$ in $R$. By noetherianity, for some $n$, we have $b^{1/p^{n+1}}R=b^{1/p^n}R$, hence $b^{1/p^{n+1}}\in b^{1/p^n}R$. This immediately implies that $b$ is a unit. Contradiction.
Note that the noetherian condition on the integral closure of $R$ is satisfied for a large class of noetherian rings (called excellent rings). For example this is true if $R$ contains $\mathbb Q$. I think that with some more effort, one shoul be able to prove the statement without any condition on the integral closure of $R$. (maybe not so easy....).
-
0Thank you. I was particularly interested in complete local rings, so this should work for those. – 2011-11-14
-
0Complete *noetherian* rings are excellent. – 2011-11-14