Non-integrally closed Kronecker function rings and integral domains with a unique minimal overring

It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Pr\"{u}fer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The Kronecker function ring of $D$ is a classical construction of a Pr\"{u}fer domain which is an overring of $D[t]$, and its localizations at prime ideals are of the form $V(t)$ where $V$ runs through the valuation overrings of $D$. This fact can be generalized to arbitrary integral domains by expressing them as intersections of overrings which admit a unique minimal overring. In this article we first continue the study of rings admitting a unique minimal overring extending known results obtained in the 70's and constructing examples where the integral closure is very far from being a valuation domain. Then we extend the definition of Kronecker function ring to the non-integrally closed setting by studying intersections of Nagata rings of the form $A(t)$ for $A$ an integral domain admitting a unique minimal overring.


Introduction
Let D be a local, integrally closed integral domain with maximal ideal m and quotient field K. Let α ∈ K be such that α and 1/α are not in D. A theorem of Seidenberg [31,Theorem 7] indicates that m extends to a nonmaximal prime ideal in the ring D[α] and gives details concerning the structure of the maximal ideals of D[α] which contain m.Here, we only note that there are infinitely many.Clearly, these same results hold for D [1/α].The fact that D is integrally closed insures that D[α] ∩ D[1/α] = D. We can think of the introduction of α and 1/α as being like striking a large crystal (the ring D) with a hammer and shattering it into many smaller pieces.
Of course, the scenario described above does not quite always work.In particular, it is impossible to choose the element α when D is a valuation domain.In accordance with the depiction above, a classical theorem by Krull states that every integrally closed domain is the intersection of all its valuation overrings.For this reason, valuation rings are the indivisible atoms in a canonical decomposition of an integrally closed domain.This makes it seem that valuation rings would be a powerful tool in studying the structure of rings.This is often true, but there are several things that can make it difficult.
First, note that it is hard to describe in a simple way all the valuation overrings of a given ring.For instance, let F be any field.The ring D = F [x, y] of polynomials in two variables has uncountably many valuation overrings, but only few of them are easy to see when looking at the localizations of D. Krull provided an answer to this difficulty.The Kronecker function ring Kr(D) of D is an overring of the polynomial ring D[t] with the property that that there is an easy correspondence between the valuation overrings of D and the localizations of Kr(D) at prime ideals [25], [26], [12].A second difficulty is harder to overcome.If one is inclined to analyze a ring by the means of studying its valuation overrings, it can be disconcerting to be faced with an integral domain that is not integrally closed.Of course, one can turn to tools of an entirely different nature.The aim of this paper is to generalize the notions of valuation ring and Kronecker function ring to a non-integrally closed setting.
When semistar operations were first introduced one of the major selling points was the possibility of using semistar operations to build a Kronecker function ring for a domain which is not integrally closed [9].However, in this case the Kronecker function ring that is produced is simply a conventional Kronecker function ring of an integrally closed overring of D. Our real purpose is to produce a non-integrally closed Kronecker function ring which mirrors the non-integrally closed character of D. The first step in such a process is to generalize the notion of a valuation domain.We need two properties to hold for such a generalization.
• We need a generalized valuation ring to actually be a valuation ring if it is integrally closed.
• We need for a domain which is not integrally closed to be equal to the intersection of the generalized valuation rings that contain it.
Suppose now D to be not integrally closed.Let α be an element of the quotient field K which is not in D. Let A α be an overring of D which is maximal with respect to the property of not containing the element α.Such a domain exists by application of Zorn's Lemma and it is necessarily local.We call A α a maximal excluding domain.It has been observed that maximal excluding domains are exactly the integral domains admitting a unique minimal overring in the sense of [13] (see also [16]).This is our proposed notion for a generalization of valuation rings.The structure of this paper is as follows.Section 2 is devoted to review the already known facts concerning Kronecker function rings and maximal excluding domains.We provide in this section all the needed references.
Section 3 is devoted to constructing examples of maximal excluding domains.Almost all valuation rings are maximal excluding (specifically all those with branched maximal ideal).One might think that this fact, combined with the fact that we are specifically working with rings that are not integrally closed, would mean that the integral closure of a maximal excluding domain is a valuation ring, or at least a Prüfer domain.This is known to not be true [15].Here we show how to construct maximal excluding domains using generalized power series rings.Our construction is interesting since the maximal excluding domains constructed can be farther from being Prüfer than examples that are already in the literature.We can indeed construct examples that have infinitely many incomparable prime ideals of the same height.We also construct maximal excluding domains of a more ordinary character using pullbacks.
In section 4 we work in earnest on the theory of non-integrally closed Kronecker function rings.In the classical setting we begin with an integrally closed domain D. In this case, the key feature of Kr(D) is that if we localize at any prime ideal we get a ring of the form V (t) where V is a valuation overring of D and V (t) is what is known as the Nagata ring of V .Suppose that D is not integrally closed and is expressed as an intersection of maximal excluding domains.We can define a new generalized version of Kronecker function ring to be the intersection of the Nagata rings of the maximal excluding domains.We should not expect in this setting to always recover all the maximal excluding domains back by localizing this generalized Kronecker function ring.For example, if the integral closure of D is a Prüfer domain then perhaps we should expect any of these generalized Kronecker function rings to be just equal to the Nagata ring D(t).We explore various settings where this happens.In particular we prove that the only Kronecker function ring of D is D(t) if the integral closure of D is Prüfer, semilocal and has sufficiently large residue fields.Along the way we study general properties about whether the operation of Nagata rings extension commutes with intersection of integral domains.
Finally, in Section 5 we explore various settings where: we start with a domain D, which is not integrally closed, we express D as an intersection of maximal excluding domains, and we intersect the rings A(t) where A runs through the maximal excluding rings in our collection.We first demonstrate that a localization of this intersection at a maximal ideal has the form C(t) where C is an overring of D (providing also several example where this ring C is maximal excluding).Then, we demonstrate that the integral closure of this intersection is a classical Kronecker function ring of the integral closure of D. We analyze also a simpler construction of the form R = Kr(D) ∩ A(t) where D is the integral closure of a domain D and D = D ∩ A for A a semilocal overring.We can study the properties of this ring R more in general without requiring A to be maximal excluding.To give examples and applications we involve the maximal excluding rings coming from the constructions in Section 3. Furthermore, along all the paper, we left several open questions for further research.

Preliminaries
We fix our notation for this article and we recall all the definitions and results that we will need about Nagata rings, Kronecker function rings, and integral domains maximal with respect to excluding a given element of their quotient field.
All the rings we consider will be integral domains, having the same unit element 1.For an integral domain D, we denote its quotient field by Q(D).If D is local, we denote its unique maximal ideal by m D .An overring of D is an integral domain A such that D ⊆ A ⊆ Q(D).
If A is an overring and A and D are both local, we say that A dominates D if m A ⊇ m D .The set of all valuation overrings dominating D is standardly called Zar(D) (the name comes from Zariski's definition).Given a valuation overring V we denote by v the associated valuation and by G V its value group.The integral closure of an integral domain D in a field , we simply use the notation D.

Nagata rings and Kronecker function rings
The main reference we consider for Nagata rings and Kronecker function rings is Gilmer's book [12].For an historical introduction we refer to the paper [7] and to its bibliography.These subjects have been widely studied in the last 60 years.There are many other relevant references including [25], [26], [27], [3], [18], [8], [9].Given an integral domain D and an indeterminate t over the quotient field of D, consider a polynomial f (t) ∈ D[t].The content of f is the ideal c(f ) ⊆ D generated by the coefficients of f .The Nagata ring of D is defined as This ring is the localization of the ring D[t] at the multiplicatively closed set generated by the polynomials whose content is equal to the unit ideal.We will use several known facts about the Nagata ring.When m is a maximal ideal of D, the extension mD(t) is a maximal ideal of D(t), and D(t) mD(t) = D m (t) (cf.[22,Proposition 2.1]).Therefore, since D = m⊆D D m , we get D(t) = m⊆D D m (t).We can thus say that the operation of Nagata ring extension commutes with the intersection of localizations at the maximal ideals.By [14, Theorem 3], Nagata ring extension commutes also with integral closure.We have that the integral closure of D(t) in its quotient field is D(t).
If V is a valuation domain, the ring V (t) is also a valuation domain, called the trivial extension of v to the field Q(V )(t).The value of a polynomial f = n k=0 a k t k ∈ Q(V )[t] with respect to this valuation is equal to min k=0,...,n {v(a k )}.
Let D be an integrally closed domain.By a classical theorem of Krull, D = V ∈ Zar(D) V .The Kronecker function ring of D can be defined as the intersection In the literature, the definition of Kronecker function ring is commonly given using the e.a.b star operations of the ring D, but for the purpose of this paper, where we study intersections of Nagata rings, we give this as an equivalent definition.It is well-known that the Kronecker function ring of D is always a Bezout domain (indipendently of the properties of D) and its localizations at the prime ideals are all the trivial extensions of the valuation overrings of D.Moreover, Kr(D) ⊇ D(t) and they coincide if and only if D is a Prüfer domain.Given a subset F ⊆ Zar (D) such that D = V ∈F V , one can define another ring Kr F (D) = V ∈F V (t).This last ring is an overring of the Kronecker function ring Kr(D).Also these overrings Kr F (D) are commonly called Kronecker function rings of D.

Integral domains maximal with respect to excluding an element of their quotient field
In this paper we are interested in studying intersections of Nagata rings of overrings of an integral domain.For this reason we need to understand the properties of those integral domains which cannot be expressed as intersection of proper overrings.These rings have been already considered in the literature.Gilmer and Heinzer in [13] consider integral domains admitting a unique minimal overring, in the sense that an integral domain D has an overring A such that for any other overring B of D there are inclusions D ⊆ A ⊆ B. Several properties of these domains have been studied in [13], [16] and other papers, but generally these rings are still quite mysterious and difficult to identify (in the case they are not integrally closed).
It is observed that an integral domain D admits a unique minimal overring in the sense of Gilmer and Heinzer if and only if it is maximal with respect to the property of not containing some element α ∈ Q(D) (obviously if D is maximal with respect to excluding α, then D[α] is the unique minimal overring of D).Clearly these properties are also equivalent to the fact that D cannot be written as intersection of proper overrings.In particular any such a ring D has to be local and its maximal ideal a t-ideal (see [12] for information about the star operation t).It is also easy to observe that any integral domain can be written as the intersection of its overrings that are maximal with respect to excluding some element of the quotient field.In [28], Papick consider a slightly weaker notion of unique minimal overring.To avoid confusion with this notion we call an integral domain maximal with respect to excluding an element of its quotient field, a maximal excluding domain.For a survey about this topic and about the more general concept of minimal ring extensions we refer to [29].
If not otherwise specified, the proofs of all the results that we mention in the following paragraphs can be found in [13], [16].The first important known fact is that an integrally closed maximal excluding domain is necessarily a valuation domain with branched maximal ideal (in particular any valuation domain of finite dimension is maximal excluding).Another relevant class of maximal excluding domains, not necessarily integrally closed, is the class of local domains such that every ideal is divisorial, for instance local Gorenstein noetherian domains of dimension one (cf.[20], [10], [4]).
If a domain D, maximal with respect to excluding an element α, is not integrally closed, then the unique minimal overring D[α] is an integral extension of D and is semilocal with at most two maximal ideals.Furthermore, m D D[α] ⊆ D.
If D[α] has exactly two maximal ideals, then the integral closure of D is a Prüfer domain obtained as the intersection of two valuation rings.In this case, if D[α] = D, the structure of D has been described in [21,Theorem 14] with the use of pullback diagrams.Also if the maximal ideal m D of D coincides with the maximal ideal of D[α], then the integral closure of D is a valuation overring V of D such that m V = m D .In the case D[α] is local and its maximal ideal is strictly larger than m D , the integral closure of D may not be a Prüfer domain.The most known example of this situation is the subject of the paper [15].In this case D is one-dimensional and its integral closure is a PVD but not a valuation domain (a PVD is a local domain sharing its maximal ideal with a valuation overring [19]).A similar example appears here as Example 3.8.
Many questions about non-integrally closed maximal excluding domains are still open.
Already in [21], one can find examples of maximal excluding domains whose prime ideals are not linearly ordered (but the integral closure is a Prüfer domain).In Section 3 of this paper we show that a maximal excluding domain of dimension at least 2 can have infinitely many prime ideals of the same height and its integral closure may not even be a PVD (see Theorem 3.13, Example 3.14).
The complete integral closure of a domain D is the ring of the elements x ∈ Q(D) for which there exists d ∈ D such that dx n ∈ D for every n ≥ 1.The complete integral closure of the example described by Gilmer and Hoffmann in [15] is a valuation domain.The same happens for the classes of maximal excluding domains that we consider here in Section 3. We leave the following open question.

Constructions of maximal excluding domains
In this section we characterize maximal excluding domains that can be obtained as pullbacks and as generalized power series rings over a field, defined by submonoids of the positive part of a totally ordered abelian group.In both cases, as a consequence of Theorems 3.1 and 3.10, we get that the complete integral closures of the rings in these families are valuation rings.

Maximal excluding domains obtained as pullbacks
Let T be a local domain with maximal ideal m and let B be an integral domain having quotient field κ := T m .Let φ : T → κ be the canonical surjective map.Define the ring D := φ −1 (B) as in the pullback diagram: For exhaustive information about the properties of rings of this form the reader may consult [12], [11].
Theorem 3.1.The integral domain D is maximal excluding if and only if B is maximal excluding and T is a valution domain.
Proof.First suppose that B is not maximal excluding.Thus, there are two proper overrings ) is an intersection of two proper overrings, hence is not maximal excluding.
Thus, suppose that B is maximal excluding with unique minimal overring B[α ′ ].Let α be an element of T such that φ(α) = α ′ .Clearly α is a unit in T .
Assume that T is a valuation ring and pick z ∈ Q(D) \ D. In particular z ∈ m.We need to show that α Finally consider the case where T is not a valuation domain.Let V be a valuation overring of T such that m ⊆ m V .By way of contradiction suppose that D is maximal with respect to excluding an element β.We must have φ and the image of φ ′ is a proper field extension of κ.We show that there exists an element z ∈ V \T such that κ(φ ′ (z)) κ and If it is algebraic, let us assume it to be of degree n.Let f be the minimal polynomial of θ over F .Using that κ is the quotient field of B, we can find b ∈ B such that the constant term of the minimal polynomial of bθ, which is equal to b n f (0), is in B. Replace θ by bθ to have f (0) ∈ B. Assume there exists a relation α ′ = b 0 + b 1 θ + b 2 θ 2 + . . .+ b t θ t .For k ≥ n, using the relation given by f (θ) = 0, the term θ k can be replaced by a linear combination of θ, . . ., θ n−1 with coefficient in κ and constant term in B. This yields another equation of algebraic dependence of θ over κ of degree at most n − 1 but with constant term not in B. This is a contradiction.Corollary 3.2.With the notation of the previous theorem assume that B is a field and κ a field extension.Then D is maximal excluding if and only if T is a valuation domain and the extension κ/B is a minimal field extension.
Proof.The condition that κ/B is a minimal field extension is clearly necessary.The other conditions can be proved exactly as in Theorem 3.1 choosing α ′ to be any element of κ\B.

Maximal excluding domains in generalized power series rings
In the following G will denote a totally ordered abelian group (with additive notation and order relation ≤), 0 will denote its unit element and G ≥0 the subsemigroup of elements of G larger than or equal to 0. We consider a family of generalized power series rings, defined according to [5].The literature about generalized power series rings is very extensive, an interested reader can consult also [30], [23], [24] and several other papers by P. Ribemboim and other authors.
Let S be a subsemigroup of G ≥0 containing 0. A subset A of S is Artinian if does not contain any infinite descending sequence of elements with respect to ≤ (equivalently, if A admits a minimal element).Let K be any field.The generalized power series ring [[K S ]] is defined formally as the set of all the maps S → K such that the set supp(f ) := {s ∈ S | f (s) = 0} is Artinian.The operations on this ring are pointwise addition and the convolution product defined as in [5, Section 2].The ring [[K S ]] is a commutative integral domain with unit element equal to the map e such that e(0) = 1 and e(s) = 0 for s = 0. Notice that in [5] and in the subsequent papers, the authors consider a more general case of this construction where the group G is not necessarily totally ordered and K is replaced by an arbitrary commutative ring R. The classical semigroup ring K[X s , s ∈ S] can be embedded canonically in [[K S ]] sending the homogeneous element X s to the map f such that f (s) = 1 and f (g) = 0 for every g = s.For simplicity of notation we also denote the image of this element in [[K S ]] by X s and we say that these elements are monomial elements.A general element of [[K S ]] can be now expressed as a possibly infinite sum f = s∈S u s X s with u s ∈ K and such that supp(f ) is Artinian.The units of [[K S ]] can be described using [5, Proposition 5] (which is based on a result proved in [17]).It turns out that f is a unit if and only if f (0) is a nonzero element of K.This fact makes We want to describe the maximal excluding domains of the form [[K S ]] with S ⊆ G ≥0 .In the following we always assume that [[K S ]] and V have the same quotient field.The first result we prove is inspired by the case G = Z which has been considered in [10].If G = Z, V is isomorphic to a standard power series ring in one variable over a the field K.The set S is a numerical semigroup and the subring [[K S ]] is maximal excluding if and only if S is symmetric or pseudo-symmetric.V .Assume that D and V have the same quotient field.Take a ∈ G ≥0 \ S. The following conditions are equivalent: (1) D is maximal with respect to excluding the element X a .
(2) For every g ∈ G, g = a 2 , X g ∈ D if and only if X a−g ∈ D. Proof.Let v be the valuation associated to V and call m V the maximal ideal of V .Assume D to be maximal with respect to excluding the element y = X a .Let us first show that ym V ⊆ D. If there exists z ∈ ym V \ D, then by definition of maximal excluding domain Consider now g ∈ G such that 0 < g < a and 2g = a.If both X g , X a−g ∈ D, then y = X g X a−g ∈ D, contradicting the assumption.Suppose both X g , X a−g ∈ D. In this case we show that one among D[X g ] and D[X a−g ] is an overring of D not containing y. Suppose For this write with c 0 , . . ., c n ∈ D. Now observe that 2a − 2g > a and conclude in the same way as before.Assume now condition (2) and prove that D is maximal with respect to excluding y.Using that D is a subring of V , we know that D cannot contain X g with g < 0. Hence X g ∈ D for every g > a.In particular D contains all the elements of V of value larger than a, thus ym V ⊆ D.
Let z be an element of the quotient field of D. We want to show that y By subtracting elements of D, we reduce to the case where v Example 3.4.Let G be a submonoid of (R, +).Let a be a positive real number.Set Clearly S is a monoid contained in G ≥0 and by Theorem 3.3, the ring Before presenting more examples we describe how to compute the integral closure of certain domains of the form [[K S ]].This result is similar to the corresponding case for semigroup rings, where the integral closure coincides with the root closure, see [2], [1].For this, we need to introduce some new notation and from now on we assume dim( for any i, j.Denote by q i the prime ideal of V of height i.Then g ∈ G i if and only if X g ∈ q i \ q i−1 .Given any submonoid S of G ≥0 , we define S i := S ∩ G i .Clearly S = n i=0 S i .Define also Also S is a monoid contained in G ≥0 .It is straightforward to see that for every i = 1, . . ., n, Suppose that for every i = 1, . . ., n, there exists But for this, if g i is the minimum of the support of f i , by the Archimedean property of real numbers one can find a positive integer e i such that e i g i ≥ a i .In this way by assumption we get f e i i ∈ D. We can immediately describe the integral closure in the case when V is one-dimensional. Corollary 3.6.Let S be a submonoid of G ≥0 and let Proof.In this case the group G is a submonoid of (R, +).By Theorem 3.3, there exists a ∈ G ≥0 such that g ∈ S, for every g > a.Given s ∈ G ≥0 , there exists some n ∈ N such that ns > a.Hence, S = G ≥0 and V is the integral closure of D by Proposition 3.5.

In the next two examples the valuation ring V has dimension 2.
Example 3.7.Let G = Z × Z, ordered by lexicographic order, and let The ring V is a discrete valuation ring of rank 2. Call X the monomial element of V of value (0, 1) and Y the monomial element of V of value (1, 0).Consider the submonoid ].Iterating, we observe that there exists an infinite ascending chain such that each ring is maximal excluding, the next one is the unique minimal overring, and the integral closure of all these ring is V .In this example, the ring D has dimension 2 and two nonzero prime ideals.The maximal ideal m is generated by X and Y X, the height one prime is P = p ∩ D where p is the height one prime of V .The quotient D/P is a DVR with maximal ideal generated by the image of X.The localization D P coincides with the localization V p .The quotient ring D/(X) is an Artinian ring having dimension 2 as K-vector space.
Example 3.8.This example is a sort of dual of the previous one.Again let G = Z × Z, ordered by lexicographic order, let V = [[K G ≥0 ]] and define X, Y as in Example 3.7.Set It is easy to check that S is a monoid.The ring . By Proposition 3.5, we observe that D[Y ] is the integral closure of D. Indeed, Y is clearly integral over D while all the powers of X are not integral since for every m, n ∈ N, m(0, n) = (0, mn) ∈ S. Let W be the rank one valuation overring of V .The maximal ideal of W coincides with the height one prime p of V and is also equal to the maximal ideal m of D[Y ].Hence, in this example D is one-dimensional and its complete integral closure W is a valuation domain.
Remark 3.9.Consider the same notation used above and assume V countably many prime ideals.In the next part of this section we can always reduce to assume that if D is maximal excluding with unique minimal overring D[Y ], then Y is an element of the height one prime of V .Indeed, given any non-maximal prime ideal q of V , it is well-known that V is the pullback of the valuation ring V /q with respect to the quotient map from V q to its residue field.The ring V /q is maximal excluding, hence if the ideal Y V has height i > 1, we can choose q to be the prime ideal of height i − 1 and apply Theorem 3.1, reducing to the case where the height of Y V is 1.In all the above examples, the complete integral closure of D is the rank one valuation overring of V .We prove now that this happens in general for all the maximal excluding rings in this family, provided that they share the same quotient field with V and V has countably many prime ideals.Theorem 3.10.Let S be a submonoid of G ≥0 and let . Suppose that D is maximal excluding, D and V have the same quotient field, and V has countably many prime ideals.Then the rank one valuation overring W of V is the complete integral closure of D.
Proof.The ring W is completely integrally closed.Hence, it is sufficient to show that every element of W is almost integral over D. If dim(V ) = 1, then V = W and the result follows by Corollary 3.6.Assume dim(V ) ≥ 2 and let p be the height one prime ideal of V , which coincides with the maximal ideal of W .We can write G ∼ = G W ⊕ G V /p where G W is the rank one value group associated to W and G V /p is the value group of the valuation ring V /p.
Say that the unique minimal overring of In both cases this implies h n f ∈ D.
We now analyze further the integral closure of [[K S ]] to show that the integral closure of a maximal excluding domain can be very far from being Prüfer.We show that it does not even need to be a PVD and can have infinitely many incomparable prime ideals.For this, we assume 1 < dim(V ) = n < ∞.In the following, we let the semigroups G i and S i for i = 1, . . ., n be defined as above in this section.We show how given arbitrary S 2 , . . ., S n we can construct a monoid S such that D = [[K S ]] is maximal excluding.By Remark 3.9 we can restrict to consider only the case where the excluded element is in the height one prime of V . and or otherwise is constructed in such a way that: • S j + S * 1 ⊆ S * 1 for every j = 2, . . ., n.
To get some ideas on how one can concretely construct such S * 1 see Remark 3.12.We prove now that S is a monoid.
We have to show that for every j = 1, . . ., n, the set By the hypothesis on S * 1 , to conclude we only need to check the inclusion S j + S ′′ 1 ⊆ S 1 for j ≥ 2. Pick g = (0, . . ., 0, g j , . . ., g n ) ∈ S j and h We cannot have g + h = a since this would contradict the definition of S ′′ 1 .Hence, suppose g + h < a and let us show that g + h ∈ S ′′ 1 .If by way of contradiction a − (g + h) ∈ S 2 ∪ . . .∪ S n , we would have Also this contradicts the definition of S ′′ 1 and shows that S is a monoid.
. By construction X a 2 , X a 3 are in D, hence X −a is in the quotient field of D. For every g ∈ G ≥0 , X g = X a+g X −a .This implies that D has the same quotient field as V .Using Theorem 3.3, it is straightforward to check that D is maximal with respect to excluding the element X a .Remark 3.12.For the purpose of constructing examples, the conditions defining the set S * 1 in the above proof are not very explicit.A good way to satisfy the third condition is assuming that, if g 1 > 0, for every g 2 , . . ., g n , the element g = (g 1 , g 2 , . . ., g n ) ∈ S * 1 if and only if (g 1 , 0, . . ., 0) ∈ S * 1 .For the first two conditions, one can choose a set such that the projection on the first component behaves as the set described in Example 3.4.An easier assumption, which can still produce many nice examples, is the following: set G 1 = Z and a = (1, 0, . . ., 0).In this way the set S * 1 = ∅ and the proof of Lemma 3.11 can be simplified.However, there are other possible choices to construct a set S * 1 satisfying the required conditions.
We now prove the main theorem concerning the rings which occur as integral closure of a maximal excluding domain of the form The notation for the next theorem is slightly different from the one used until now.Let n > 1 and let is integrally closed.We do not require A and V ′ to have the same quotient field.Given another totally ordered abelian group G 1 of rank one, set Let W be the rank one valuation overring of V and κ be the residue field of W . Proof.First notice that, by quotienting G with respect to G 1 , the quotient field of V ′ can be identified with κ and V is the pullback of V ′ with respect to the map W → κ.Hence A can be embedded in κ.
For i = 0, . . ., n, define G i and G ′ i as above in this section.Decompose H as the union Since for i ≥ 2 there exists a bijective map between G i and G ′ i , we can identify H i with a subsemigroup of G i .To construct S, set S 0 = {0} and for i = 2, . . ., n, define S i = H i .Since H is a monoid, the semigroups S 2 , . . ., S n defined in this way obviously satisfy the hypothesis of Lemma 3.11.Use Lemma 3.11 to produce S 1 ⊆ G 1 such that S := n i=0 S i is a monoid and the ring By construction, the ring D is maximal with respect to excluding an element a ∈ G 1 and the ] is integrally closed by standard properties of pullback diagrams.By Proposition 3.5, D = [[K S ]].Let π : W → κ be the canonical quotient map.We show that D = π −1 (A).Observe that, given g ∈ G, π(X g ) = 0 if and only if g 1 > 0 and if g 1 = 0, π(X g ) = X g ′ where g ′ is the component of g in G ′ .It easily follows that π(D) = A. Since ker(π) ⊆ D, we obtain D = π −1 (A) and finally prove (ii).
Conversely, if D = [[K S ′ ]] ⊆ V is a maximal excluding domain having the same quotient field as V , by Remark 3.9, we can assume D maximal with respect to excluding an element X a with a ∈ G 1 .Using Theorem 3.3 and the same argument as above we get S ′ 1 = G 1 .The thesis now follows setting H ′ := n i=2 S i ∪ {0} and letting A ′ be the integral closure of The next example shows that both D and its integral closure can have infinitely many incomparable prime ideals.
Example 3.14.Using the notation of Theorem 3.13, let We notice that H = H.Indeed, if for some n ≥ 1 and a, b, c, d ∈ Z, n(c+d √ 2) = a+ √ 2b ∈ H, using the irrationality of √ 2, we must have nc = a and nd = b, forcing c, d ≥ 0. Define X to be the monomial element of V of value (0, 1) and Z to be the monomial element of V of value (0, √ 2).The ring Now construct S as in Theorem 3.13.Looking at the notation of Lemma 3.11 and at Remark 3.12, we notice that, if we choose a = (1, 0), we get S * 1 = ∅.Therefore Lemma 3.11 gives a precise way to construct S that does not require further choices.Let Y be the monomial element of V of value (1, 0).The ring D = [[K S ]] is maximal with respect to excluding Y .The integral closure D is the pullback of A with respect to the map W → κ.Hence, D is local and has infinitely many incomparable prime ideals (of height 2).Therefore it can be neither a PVD nor Prüfer.In this example we can identify W with K((X, Z)) The prime ideals of height 2 of D are principal, generated by elements that are also elements of D as a consequence of the way S is defined in Theorem 3.13.For this reason, they all contract to distinct prime ideals of D. It follows that also D has infinitely many incomparable prime ideals.

Intersections of Nagata extensions of overrings
In this section we consider intersections of Nagata rings in order to extend the concept of Kronecker function rings to non-integrally closed domains.For simplicity we suppose all the rings in this section to have finite Krull dimension.In particular every integrally closed maximal excluding domain will be a valuation domain.
Let D be an integral domain.We say that a collection of overrings From what observed in Section 2, every integral domain always admits a defining family formed by maximal excluding overrings.Moreover we can always consider defining families of D where all the non-integrally closed rings do not contain the integral closure of D. Indeed D can be always express as where A α is a non-integrally closed overring of D maximal with respect to excluding the element α.Definition 4.1.Let D be an integral domain and let F be a defining family of D. We say that the ring is the Kronecker function ring of D with respect to F .
When D is integrally closed and the family F is contained in Zar(D), the ring Kr(D) F is a classical Kronecker function ring.We already recalled in Section 2, that an integrally closed domain is Prüfer if and only if its Kronecker function ring Kr(D) is equal to the Nagata ring D(t) (in this case the Nagata ring is the unique Kronecker function ring).Also if D is a maximal excluding domain, since the only defining family of D is {D}, we get that the only Kronecker function ring, according to Definition 4.1 is D(t).However, in general Prüfer domains and maximal excluding domains may behave differently with respect to intersecting Nagata rings of overrings.For a Prüfer domain D, the operation of Nagata ring extension, mapping an overring A to its Nagata ring A(t), commutes with arbitrary intersection of overrings.Conversely, one may observe that if the integral closure of an arbitrary integral domain is not Prüfer, then the operation of Nagata ring extension does not commute with intersection for some collections of overrings.This is due to the fact that the Kronecker function ring of an integrally closed domain that is not Prüfer is always strictly bigger than the Nagata ring.
We dedicate this section to investigating whether an intersection of Nagata rings is a Nagata ring.The next section is dedicated to constructing relevant families of non-integrally closed Kronecker function rings that behave similarly to the classical integrally closed ones.The following question arises naturally: Question 4.2.Let D be an integral domain and suppose that D is a Prüfer domain.If F is an arbitrary collection of overrings of D, then is A∈F A(t) = ( A∈F A)(t)?In particular, is D a Prüfer domain if and only if Nagata ring extension commutes with intersection for every collections of overrings of D?
A positive answer to the above question would imply that all the Kronecker function rings of a domain D such that D is Prüfer coincide with D(t).We are able to give a positive answer to this question in Theorem 4.6 in the case D is a semilocal Prüfer domain of finite dimension and the residue fields of D are sufficiently large.Our result implies a positive answer in the case D has finite dimension and the integral closure of D is a valuation ring or the intersection of two valuation rings, without other assumptions on the residue fields.We start by proving a lemma, which points out a condition for an intersection of local domains to be local.Given two (non-necessarily local) integral domains A ⊆ B, we say that B dominates A if every maximal ideal of A is contained in some maximal ideal of B and every maximal ideal of B contracts to some maximal ideal of A. If A and B are local this means simply that m A ⊆ m B .Lemma 4.3.Let D be an integral domain.Let {D i } i∈Λ be a collection of local overrings of D such that D = i D i .Suppose that there exists a valuation overring V that contains all the rings D i and dominates all of them, except at most one.Then D is local.
Proof.Call D 1 the ring in the family F possibly not dominated by V .Pick two non-units x, y ∈ D. Then x, y ∈ i∈Λ (m The main assumption that we need to prove Theorem 4.6 is related to the cardinalities of the residue fields of an integral domain D. Notice that D contains s units u 1 , . . ., u s such that u i −u j is still a unit for every i, j if and only if all the residue fields of D have cardinality at least s + 1.For domains containing an infinite field or containing Z(t), Theorem 4.6 can be proved without further assumptions.Lemma 4.4.Let D be a semilocal domain with s maximal ideals.Suppose that all the residue fields of D have cardinality at least s.Fix a set of units U ⊆ D, of cardinality at least s − 1 and such that u i − u j is a unit for every distinct u i , u j ∈ U. Let x 1 , . . ., x n ∈ D be elements such that (x 1 , . . ., x n ) = D. Then there exists a unit of D of the form c = n k=1 δ k x k with δ k ∈ U ∪ {0} for every k.
Proof.We prove it by induction on n.In the case n = 1, we clearly must have that x 1 is a unit, and thus δ 1 x 1 is a unit for every δ 1 ∈ U. Thus assume the thesis true for every set of at most n − 1 elements.Therefore if after reordering the generators (x 1 , . . ., x n−1 ) = D, we conclude by applying the inductive hypothesis and setting δ n = 0.
Call m 1 , . . ., m s the maximal ideals of D. Possibly relabeling, suppose that x 1 , . . ., x n−1 ∈ m s , and there exist 1 ≤ s ′ < s such that x n ∈ (m 1 ∩ . . .∩ m s ′ ) \ (m s ′ +1 ∪ . . .∪ m s ).The ideal generated by x 1 , . . ., x n−1 cannot be contained in any of the maximal ideals m 1 , . . ., m s ′ .Consider the ring A = S −1 D where S = D \ (m 1 ∪ . . .∪ m s ′ ).The ring A is semilocal and contains U. Moreover (x 1 , . . ., x n−1 )A = A. By inductive hypothesis there exists a unit of A of the form Take now two elements of the form . This is a contradiction with the choice of c ′ .Moreover any element of the form c ′ + ux n cannot be in a maximal ideal containing either c ′ or x n .Using now that U contains at least s − 1 elements and D has only s maximal ideals we can find an element of the form c ′ + δ n x n which is a unit in D. Proposition 4.5.Let D be an integral domain with quotient field K. Let F = {D i } i∈Λ be a defining family of D. Suppose that all the rings in F are contained in a common overring T and one ring D 1 ∈ F is semilocal with s maximal ideals.Also suppose that all the residue fields of D have cardinality at least s and T dominates D i for every i, except possibly D 1 .Then D(t) = i D i (t).
Proof.As in Lemma 4.4, we can fix a set of units U ⊆ D, of cardinality at least s − 1 such that q i − q j is a unit for every distinct q i , q j ∈ U. Clearly the set U is also contained in D 1 .
We always have the inclusion D(t) ⊆ i D i (t).To prove the opposite inclusion pick φ ∈ i D i (t).Such an element φ can be always written as , for every i we can find x i ∈ K such that a k x i , b k x i ∈ D i for every k and the ideal 1 x i (b 0 , . . ., b n )D i is the unit ideal.Hence we can choose an element x i u j ∈ T and, since u i , u j are units in T , we obtain that also x i x j is a unit in T for every i, j.Let us now consider the semilocal domain D 1 .The ideal 1 x i ∈ D i and from what said above c 1 x i = x 1 x i u 1 is a unit of T .Since, for i = 1, the overring T dominates D i , then c 1 x i has to be a unit of D i .It follows that for every i we can write c 1 = x i w i with x i , w i ∈ D i and w i a unit in D i (for i = 1, set  Proof.The fact that D is a semilocal Prüfer domain of finite dimension is equivalent to saying that D has only finitely many valuation overrings, that we call V 1 , . . ., V n .For i = 1, . . ., n, set Observe that every ring in F has to belong to some F i .Let A i := A∈F i A. Notice that by Lemma 4.3, A i is local and dominated by V i .By Proposition 4.5, Since D is a Prüfer domain, its Nagata ring coincides with the Kronecker function ring and therefore

t). Hence we have the equality
Set D i := A i ∩ D. There are exactly s minimal valuation overrings of D and A i is dominated by an overring of one of them, hence D i is a proper intersection of s local rings, therefore is semilocal with at most s maximal ideals.Moreover, D = n i=1 D i and all the D i are dominated by D (clearly D is the integral closure of all of them).Again by Proposition 4.5, To conclude we only need to prove that D i (t) = (A i ∩D)(t) = A i (t)∩D(t).This follows by Proposition 4.5 since both A i and D are contained in V i , A i is dominated by V i , and D is semilocal.Notice that the above theorem implies that if D is a Prüfer domain of finite dimension with at most 2 maximal ideals, then for every defining family F , we have Kr F (D) = D(t).We ask whether the same result of Theorem 4.6 holds in general removing the assumptions on the residue fields of D.
We pass now to study the case of an intersection of a semilocal domain A and a valuation domain V , having the same quotient field.This case is relevant for the results in Section 5. Again, in the case A is local, the thesis of the next theorem holds without assumptions on the residue fields.

Theorem 4.7. Let V be a valuation domain of finite dimension and let A be a semilocal domain such that
Assume that A has s maximal ideals m 1 , . . ., m s and all the residue fields of A ∩ V have cardinality at least s + 1.The following assertions hold:

and A∩V m A is a valuation domain with quotient field
of sV is the unique prime ideal Q ′ of V such that ht (Q ′ ) = ht (Q) + 1.Hence, there exists a unit t of A such that v(t) > v(b).We can conclude using the same proof as for item (iii).(v) We consider different cases.If A ∩ V is local, by item (i), A is dominated by a valuation overring of V .The thesis follows now by Proposition 4.5.If A ∩ V is not local and A and V have no common overrings, by items (ii)-(iii), all the rings A m i and V are precisely the localizations of A ∩ V at the maximal ideals.The thesis follows since Nagata ring extension commutes with localizations at the maximal ideals.If instead we are in the situation described by item (iv), we use item (ii) and localization to say that Also about Theorem 4.7, we ask whether the same results hold removing the assumption on the cardinality of the residue fields.We conclude this section by showing that under some mild conditions, Nagata ring extension does not commute with intersection also in the non-integrally closed case.Various constructions of this kind will be analyzed in the next section (see Constructions 5.3 and 5.13).Remark 4.9.For a local domain D that is not a valuation ring and an overring A, the existence of an element z ∈ A such that z, z −1 ∈ D is usually satisfied.Indeed, such an element z does not exist if and only if and D Q is a valuation ring.For this pick z ∈ A not a unit and observe that z ∈ m D .Thus for x, y not units in A, if x + y was a unit in A, we would get 1 = x x+y + y x+y ∈ m D , which is impossible and implies that A is local.The maximal ideal of A is equal to a prime ideal

t). In particular if D = T ∩ A with T integrally closed, and there exists
u are units in A and at least one of them has to be in D, implying that D Q is a valuation domain.Notice that by Theorem 4.7-(i), a domain D of this form may arise as intersection D = A ∩ V for some valuation ring V which has an overring dominating A.
The above remark suggests an example of local domain D not maximal excluding, such that D is not Prüfer, but still we have Kr F (D) = D(t) for some defining family F .However, Nagata ring extension clearly does not commute with intersection for all the overrings of D.
Example 4.10.Let T be the maximal excluding generalized power series ring of Example 3.8, defined over the field K = Q.Set D = Z (p) + m T for a prime number p.The integral closure of D is D = Z (p) + m T and it is not Prüfer since T is not.Also D is not maximal excluding by Theorem 3.1 because T is not a valuation ring.We can write D = D ∩ T and consider the defining family F = Zar (D) ∪ {T }, setting Kr F (D) = Kr(D) ∩ T (t).Let V be a valuation overring of D such that m V = pV .Observing that there are no rings properly contained between D and T and p −1 ∈ T \ V , we get V ∩ T = D (of course T is dominated by an overring of V , as expected by Theorem 4.7-(i)).Now, Theorem 5.15-(i) from the next section applies to this setting to show that the localization of Kr F (D) at the center of V (t) is equal to D(t).Thus Kr F (D) = D(t).
We leave another open question.Suppose that R = Kr(D).Then the integral closure of every A ∈ F is a Prüfer domain.
For this simply recall that Kr(D) is Prüfer and integral closure commutes with Nagata ring extension.
In the following we first consider cases where the integral closure of Kr F (D) is equal to Kr(D).Then, recalling that the integral closure of a maximal excluding domain may not be a Prüfer domain, we give in Theorem 5.15 and Example 5.12, examples such that the integral closure is a proper non-Prüfer subring of Kr(D).
Regarding the local behavior of Kr F (D), we find that in all our constructions, the localizations at the maximal ideals are Nagata ring extensions of overrings of D. For this reason we leave the following general question for further research: Question 5.2.Let D be an integral domain and let F be any defining family of D. Let p be a maximal ideal of the ring R = A∈F A(t).Is R p = C(t) for some overring C of D?
Our first construction is based on integral domains whose integral closure is obtained by adding the generators of a finite algebraic (Galois) field extension.We restrict to work with D a local domain, since one can always reduce from the global case to the local one by localizing at each maximal ideal.Construction 5.3.Let D be a local domain with quotient field F .Let F ′ be a subfield of F such that Q ⊆ F ′ and F is a finite Galois extension of F ′ , generated as F ′ -vector space by θ 1 = 1, θ 2 , . . ., θ n .Call K the field generated over Q by θ 1 , θ 2 , . . ., θ n and all their conjugates with respect to the action of Gal(F/F ′ ).We assume any intermediate field extension E/E ′ such that F ′ ⊆ E ′ ⊆ E ⊆ F to be a Galois extension generated by ϑ 1 , . . ., ϑ m and satisfying one of the following condition (see Examples 5.4 and 5.5 for examples): where ϑ is a simple root of degree m over E ′ and D contains ξϑ m for every m-th root of unity ξ.
Suppose there exists a local integrally closed domain and in that case define F to be the defining family of D containing all the maximal excluding overrings A such that A ⊇ A V for some V valuation overring of D ′ .Set R := Kr F (D).
The main examples of rings D that we can obtain from Construction 5.3 are certain kinds of K + m constructions and of algebras over fields, as shown in the next examples.
Example 5.4.Let D ′ = K ′ + n be an integrally closed domain with quotient field F ′ , such that Q ⊆ K ′ .Let K be a finite Galois extension of K ′ generated as K ′ -vector space by θ 1 , . . ., θ n and such that K ∩ F ′ = K ′ .Call F the finite Galois extension of F ′ generated by the same elements.Then define D = K ′ + m with m = n i=1 θ i n, and observe that D = D ′ F = K + m.Clearly the field extension F/F ′ satisfies condition ( * 1 ).By construction the rings A V do not contain any element of i ]] (or the corresponding localized polynomial ring version), where x 1 , . . ., x c are indeterminates over K, the exponents 1 ≤ e 1i < . . .< e l i i generate a numerical semigroup, and K contains the e 1i -th cyclotomic field for all i = 1, . . ., c.In this case has infinitely larger value than all the other x e 1i i , then all the elements of the form x s 1 f (x 2 , . . ., x c ) are not in A V if s is not in the semigroup generated by e 11 , . . ., e l 1 1 .Similarly one can show that each element of D \ D does not belong to some ring A V .Simple examples that one may consider in this family are rings such as K[[x 2 , x 3 , y]] and K[[x 2 , x 3 , y 2 , y 3 ]].
Lemma 5.6.Take the assumptions and notations of Construction 5.3.Let V be a valuation overring of D ′ .Then any element n j=1 a j θ j ∈ F with a j ∈ F ′ is integral over V if and only if each summand a j θ j is integral over V .
Proof.Let σ 1 , . . ., σ n be the elements of Gal(F/F ′ ).By restricting each time to the automorphisms with fixed field E ′ , we can reduce to prove this result only for the main extension F/F ′ , assuming that it satisfies either condition ( * 1 ) or condition ( * 2 ).
Set B V := V F .Let α = n j=1 a j θ j ∈ B V with a j ∈ F ′ .Since F/F ′ is a Galois extension, it is well-known that the integral closure of V in F is the intersection of all the extensions of V to the field F , and such extensions are all conjugates by the elements of Gal(F/F ′ ) (see for instance [6,Section 3.2]).Therefore, also all the conjugates of α, σ i (α) are elements of B V .It follows that any linear combination of σ 1 (α), . . ., σ n (α) with coefficients in B V is in B V .Now, set up a linear square system to express a j θ j as a linear combination of σ 1 (α), . . ., σ n (α).The equations we obtain are of the form a j θ j = a j n k=1 b k σ k (θ j ) and 0 = a i n k=1 b k σ k (θ i ) for i = j.These can be solved independently of a 1 , . . ., a n for a choice of coefficients b 1 , . . ., b n in the field K, which is generated over Q by the elements σ i (θ k ).Assuming condition ( * 1 ), we have that K ⊆ D ⊆ B V .The square matrix defining the linear system is The determinant of this matrix lives in K and is equal to the square root of the discriminant of the field extension F/F ′ .This extension is separable, hence the discriminant is nonzero.Since K ⊆ B V , the system can be solved over B V by Cramer's rule yielding a j θ j ∈ B V for every j.In case condition ( * 2 ) is satisfied, the field F is generated over F ′ by simple roots, and by hypothesis we have θ j = θ j−1 2 for j = 1, . . ., n.Moreover, the n-th cyclotomic field Q(ξ) is contained in D, hence in B V .To solve the same linear system as above with respect to a j θ j , we reduce to solve a linear square system in Q(ξ) whose matrix is a Vandermonde matrix in the entries 1, ξ, . . ., ξ n−1 .Since Q(ξ) ⊆ B V we again obtain a j θ j ∈ B V for every j.
The next lemma gives us a sufficient condition to have a localization of an overring of D(t) equal to the Nagata ring extension of an overring of D.
Lemma 5.7.Let D be an integral domain and let A be a local overring.Suppose R to be an integral domain such that Proof.By assumption t ∈ R, thus there are inclusions From the fact that pR p ⊆ m A(t) , it follows that q := pR p ∩ A[t] ⊆ m A [t].This implies that A(t) ⊆ (A[t]) q ⊆ R p .The thesis follows.
Theorem 5.8.Let R be defined as in Construction 5.3.Then R = Kr(D) and all the localizations of R at the maximal ideals are of the form R p = A V (t) where p = m A V (t) ∩ R.
Proof.By construction, for every valuation overring V dominating D ′ , the integral closure of A V is B V := V F , which is the intersection of all the extensions of V to F , of which Proposition 5.10.Let D = K ′ +m be constructed as in Example 5.4.
Let σ 1 , . . ., σ n be the elements of Gal(F/F ′ ) with σ 1 equal to the identity.To By the same argument used in the proof of Theorem 5.8, we obtain V ⊆ R * p .We need to show that zθ i ∈ R * p for z ∈ m V .For this consider the fraction φ = 1 t+zθ i .For all the valuation overrings V ′ of D ′ containing z, we have φ ∈ C V (t).For the valuation overrings V ′ not containing z, we have p and therefore zθ i ∈ R * p .In general the rings A V may be too small for being maximal excluding.In particular if V F has more than two maximal ideals we do not expect A V to be maximal excluding.In some cases it can be shown that A V is maximal excluding.
x , y x 2 , . ..]] is maximal excluding since it can be expressed as pullback as in Theorem 3.1.Also, if V = K[[y, x 2 , x 2 y , x 2 y 2 , . ..]], the ring A V = K[[y, x 3 , x 2 , x 2 y , x 2 y 2 , . ..]] is a generalized power series ring and is maximal with respect to excluding the element We show that C V is maximal with respect to excluding the element i.It is clear that C V ⊆ V (i) is a minimal ring extension.We have two possible cases.In the first a 2 + 1 ∈ m V for every a ∈ V .It is easy to check that in this case there is only one valuation W of F extending V , and w(a + ib) = min(v(a), v(b)).Hence, W = V (i) and its residue field is isomorphic to V m V (i).Now [13,Theorem 2.4], or alternatively our Corollary 3.2, shows that C V is maximal excluding.In the other case we have two distinct conjugated valuations W 1 and W 2 extending V to F .We observe that V (i) = W 1 ∩ W 2 , indeed for a + ib ∈ W 1 ∩ W 2 we cannot have v(a) = v(b) < 0, otherwise the conjugate a − ib would not be in the same ring.Again [13,Theorem 2.4] shows that C V is maximal excluding.The structure of C V in this case is described by [21,Theorem 14].
In the next example we replace the intersection of all the valuation overrings of D ′ by the intersection of a smaller collection, which still form a defining family for D ′ .The Kronecker function ring associated to this family is an overring of the canonical Kronecker function ring.
Example 5.12.Let κ be a field, x an indetreminate over κ, and T a local integrally closed domain of the form κ(x) + m.Set W = κ[[x]] and B = κ[[x 2 , x 3 ]] (one can also take any other maximal excluding domain having W as integral closure).Define D to be the pullback B +m.If we assume that T is not a valuation ring, the ring D is not maximal excluding by Theorem 3.1.For F = Q(D), let F ′ be the largest subfield of F containing x 2 but not x.The ring D ′ in this case is set to be κ[[x 2 ]] + (m ∩ F ′ ) and we set also T ′ = D ′ m∩F ′ = κ(x 2 ) + (m ∩ F ′ ).The extension F/F ′ satisfies the assumption of Construction 5.3.We can now express D ′ as the intersection of the valuation overrings V of the form ) where π V is the quotient map from a valuation overring V ′ of T ′ to its residue field.For any of such V , we can define as previously In particular A V is the pullback of B with respect to the quotient map from the valuation overring V ′ (x) of T to its residue field.Therefore A V is maximal excluding by Theorem 3.1.Let F be the family of all the rings A V .The same proof used for Theorem 5.8 shows that, if R = Kr F (D), then R is the Kronecker function ring of D obtained by intersecting all the valuations of the form V ′ (x)(t).Furthermore, all the localizations of R at the maximal ideals are of the form A V (t).
We now move on to discuss a second construction which produces rings that are very close the the Kronecker function ring of D, in the sense that they locally coincide for almost all the maximal ideals.This construction allows also to describe cases where the integral closure of D is not finitely generated over D or where the integral closure of some overring in the defining family of D is not Prüfer.The rings we define here are not necessarily of the form Kr F (D), if the integral domain A is neither maximal excluding nor has Prüfer integral closure.However, Theorem 4.7 give us the tools to study a more general situation.Construction 5.13.Let D be an integral domain and suppose that there exists a semilocal overring A such that D = D ∩ A. Suppose that also A is semilocal with s maximal ideals and all the residue fields of D have cardinality at least s + 1.Let R ′ = Kr(D) ∩ A(t).
Notice that if D arises as in Construction 5.3 and A contains an intersection of rings of the form A V , then the above ring R ′ is an overring of the ring R, contained in Kr(D).By Theorem 5.8, one immediately gets R ′ = Kr(D).Easy examples that illustrate this construction are and the ring D defined in Example 4.10.Before proving the main theorem about this construction, we need to investigate the integral closure of local rings of the form A ∩ V considered in Theorem 4.7-(i).Obviously there is an inclusion A ∩ V ⊆ A ∩ V .However, the containment may be strict.For instance take ].These rings have the same quotient field and V is a valuation domain.We have Next proposition analyzes the relation between A ∩ V and A ∩ V .Proposition 5.14.Let A be a local domain, V a valuation ring such that Q Then the following assertions hold: (1) B ′ := B Q∩B and C ′ := C Q∩C are Prüfer domains with the same quotient field.
(2) C ′ is the localization of B ′ at the maximal ideal defined as the center of the valuation ring V Q .
Proof.Since V Q dominates A, then q is a maximal ideal of A and V Q dominates A q .Thus C is local and its structure is described in Theorem 4.7-(i).In particular Q ∩ C = qA q and C ′ is a valuation domain with quotient field κ = Aq qAq = A q .For the same reason, again by Theorem 4.7-(i), we have that A ′ := A∩V m A is a valuation domain with quotient field κ ′ = A m A .By standard results on quotient rings of integral extensions, since Q ∩ (A ∩ V ) = m A , we get that B ′ is an integral extension of A ′ and κ is an algebraic field extension of κ ′ .The integral closure of a valuation domain in an algebraic field extension of the quotient field is a Prüfer domain.The ring B ′ is clearly integrally closed, thus is a Prüfer domain.It is clear that B ′ ⊆ C ′ .To prove (1) it remains to show that they have the same quotient field.For this we prove that A ∩ V is contained in a ring of fractions S −1 B for S a multiplicatively closed set of B with Thus suppose that at least one of them is not in V and set a = a k ∈V a k .Since m A ⊆ Q ⊆ V , we have that a is a unit in A and a −1 ∈ V .Multiplying the above equation of integral dependence of x by a −n yields an equation of integral dependence of a −1 x over A ∩ V .It follows that a −1 x ∈ B and x ∈ S −1 B because a −1 ∈ S. From this, going modulo the contraction of Q and observing that A∩V (iii) The localizations of R ′ at its maximal ideals are Nagata ring extensions of overrings of R.
(iv) The integral closure of R ′ is Kr(D) ∩ A(t).
Proof.It is well-known that the number of maximal ideals of A is less or equal than the number of maximal ideals of A. The assumption on the residue fields of D implies that also the residue fields of A ∩ V and A ∩ V have cardinality at least s for every valuation overring V of D. Therefore the intersections A ∩ V and A ∩ V satisfy the hypothesis of Theorem 4.7.
(i) By Theorem 4.7-(iv) we immediately get (A∩V )(t) = A(t)∩V (t).Hence, R ′ ⊆ (A∩V )(t) and p is equal also to the contraction in R ′ of the maximal ideal of (A∩V ) m V ∩A .This implies R ′ p ⊆ (A ∩ V ) m V ∩A (t).We only need to show (A ∩ V ) m V ∩A ⊆ R ′ and apply Lemma 5.7.Let a, s ∈ A ∩ V with s ∈ m V .Consider Clearly F, G ∈ Kr(D) ∩ A(t) = R ′ .Moreover, v(a) ≥ 0, v(s) = 0, and F, G are units in V (t).Thus F −1 = t + a and G −1 = t + s −1 are in R ′ p .This proves a s ∈ R ′ p , because t ∈ R ′ .If A and V have no common proper overrings we get R ′ p = V (t) by Theorem 4.7-(iii).(ii) Set V = V ∩Q(D) (of course we allow also the case Let a k be a coefficient of f .In every valuation overring of Kr(D), the value of a k is larger than or equal to the value of f .Hence a k f −1 ∈ Kr(D) ∩ A(t) = R ′ ⊆ V. Since c(f ) = A ∩ V and A is semilocal, by Lemma 4.4 there exist u 0 , . . ., u m ∈ D, that are either units or zeros, such that a = m k=0 a k u k is a unit in A ∩ V .It follows that af −1 ∈ R ′ ⊆ V. Now a is a unit in A ∩ V , hence a unit in V.This implies f −1 ∈ V and shows (A ∩ V )(t) ⊆ V. (iii) Every prime ideal of R ′ is the center of some valuation overring of R ′ .By item (ii), every valuation overring V of R ′ contains an intersection of the form (A ∩ V )(t) = A(t) ∩ V (t) for some valuation overring V of D. By item (i), (A ∩ V ) m V ∩A (t) is the localization of R ′ at the center of the valuation overring V (t).In particular, given a maximal ideal m of A, the ring A m (t) is the localization of R ′ at the center of any valuation overring V (t) such that V dominates A m .Let p = m V ∩ R ′ .By Theorem 4.7, since localization at the maximal ideals commutes with Nagata ring extension, V contains a ring C(t) which is equal either to A m (t) for m a maximal ideal of A or to (A ∩ V ) m V ∩A (t).For what said above, this ring C(t) is a localization of R ′ at a prime ideal and, if q = m V ∩ C(t), then q ∩ R ′ = p.Hence R ′ p is the localization of C(t) at q.In particular, since we already know that the rings C(t) are localizations of R ′ at some prime ideal, it follows that the localizations of R ′ at its maximal ideals are all of the form C(t) for some overring C of D. (iv) We argue showing that every valuation overring of R ′ contains A(t) ∩ V (t) = (A ∩ V )(t) for some valuation overring V of D. Let V be a valuation overring of R ′ and let V = V ∩Q(D).By item (ii) we already know that V ⊇ (A ∩ V )(t).If V ⊇ A(t), we are done since then V ⊇ A(t) = A(t).Otherwise by Theorem 4.7, localizing at the maximal ideals of A ∩ V we find that V ⊇ (A∩V ) m V ∩A (t).If (A∩V ) m V ∩A = V we can conclude.If not, again by Theorem 4.7, we reduce to the case where there exists a prime ideal Q of V such that V Q contains A and (A ∩ V ) m V ∩A = A Q∩A ∩ V. Without loss of generality, we simplify the notation possibly replacing A by A Q∩A , and reduce to the case where A and A ∩ V are local, V Q dominates A, and V ⊇ (A ∩ V )(t).Obviously, using that Nagata ring extension commutes with integral closure, we get V ⊇ (A ∩ V )(t).Now, if A ∩ V = A ∩ V we are clearly done.If not we use the result of Proposition 5.14.Let q = Q ∩ A and set B = A ∩ V and C = A q ∩ V .It is sufficient to prove that V ⊇ C(t).Since V contains V and t, then V ⊇ C[t].Notice also that the maximal ideal m V ∩ B of B is contained in m V .Thus, by localization we find that V ⊇ B m V ∩B (t).Pick f ∈ C[t] such that c(f ) = C.We want to prove that f −1 ∈ V.For h ∈ C[t], if h −1 ∈ V and g ∈ m V [t] ⊆ m V we get (h + g) −1 ∈ V. Hence, we want to find g ∈ m V [t] such that f + g ∈ B m V ∩B [t] and c(f + g) = B m V ∩B .But Proposition 5.14 implies that B m V ∩B and C coincide after going modulo the contractions of Q on both rings.In particular, if x ∈ C, then there exists z ∈ Q ∩ C ⊆ Q ⊆ m V such that x + z ∈ B m V ∩B .Furthermore, if x is a unit in C then x + z is a unit in B m V ∩B .Applying this procedure to all the coefficients of f that are not in B m V ∩B , one can construct a polynomial g ∈ Q[t] ⊆ m V [t] such that f + g ∈ B m V ∩B [t] and c(f + g) = B m V ∩B .Remark 5.16.With the setting of the above theorem, if A is Prüfer, we automatically have R ′ = Kr(D).In this case, since we assume all the rings to have finite dimension, A has only finitely many valuation rings, hence all but finitely many localizations of R ′ at prime ideals are valuation domains of the form V (t).The other localizations are localizations of A(t) or of domains of the form (A ∩ V )(t).
For instance, let D = K[[x 2 , x 3 , y]], A = K((y))[[x 2 , x 3 ]], and R ′ = Kr(D) ∩ A(t).Then R ′ = Kr(D) because A is Prüfer.In this case all but two localizations of R ′ at its prime ideals are of the form V (t).The two remaining localizations are A(t) and (A ∩ W )(t) where W is the rank two valuation overring of D having A as unique minimal overring.
We construct now examples of Kronecker function ring of D of the form Kr(D) ∩ A(t) such that A is maximal excluding, but A is not a valuation.Therefore R ′ = Kr(D) ∩ A(t) Kr(D).

Question 2 . 1 .
Let D be a maximal excluding domain.Is the complete integral closure of D always a Prüfer domain?If D is one-dimensional and D is local, is D a PVD?

Theorem 3 . 3 .
Let S be a proper submonoid of G ≥0 and let D := [[K S ]] D is maximal excluding and D and V have the same quotient field.Then V is the integral closure of D.
maximal excluding with unique minimal overring D[Y ].The integral closure is clearly V by Proposition 3.5, since 2(1, n) ∈ S for every n ∈ Z.By an analogous argument also D[Y ] is maximal excluding with unique minimal overring D[ Y X

Theorem 3 . 13 .
With the notation and the assumptions stated above, there exists a submonoid S of G ≥0 such that:(i) The ring D = [[K S ]] ⊆ V is maximal excluding and has the same quotient field as V .(ii)The integral closure D of D occurs as the pullback in the following diagram:Conversely, if D = [[K S ′]] ⊆ V is a maximal excluding domain having the same quotient field as V , then the integral closure of D is the pullback of some integrally closed local domain A ′ with respect to the quotient map W → κ.

1 c 1 ∈
and, since c 1 ∈ (b 0 , . . ., b n )D we get that the ideal of D generated by the coefficients of g c 1 coincides with D. This implies φ = f g c D(t).

Theorem 4 . 6 .
Let D be an integral domain such that D is a semilocal Prüfer domain of finite dimension with s maximal ideals.Suppose that all the residue fields of D have cardinality at least s.Let F be any collection of local overrings of D such that A∈F A = D. Then A∈F A(t) = D(t).

Proposition 4 . 8 .
Let D be a local integral domain and let F = {D i } i∈Λ be a defining family of D. If there exists z ∈ Q(D) such that z, z −1 ∈ D and for every i, z ∈ . Let us show that φ ∈ D(t).We can multiply by a common factor to have both numerator and denominator of φ inside D. Hence pick any d ∈ D such that dz ∈ D and write φ = d dt+dz .If φ ∈ D(t), since D is local we would have that either d or dz is a unit in D. But d cannot be a unit, since dz ∈ D and z ∈ D. If dz were a unit, we would have z −1 = d(dz) −1 ∈ D. In any case this leads to a contradiction.

Question 4 . 11 .
Is it possible to find an integral domain D not maximal excluding, such that D is not Prüfer but Kr F (D) = D(t) for every defining family F of D? Is this true for the ring D defined in Example 4.10? 5 Constructions of non-integrally closed Kronecker function rings In this section we construct non-integrally closed rings of the form Kr F (D), according to the notation of Definition 4.1.The two main questions that we investigate for such rings are: understanding what the integral closure is and studying if they behave locally like classical Kronecker function rings, in the sense that the localizations at maximal ideals are Nagata ring extensions of some overring of the base ring D. We immediately observe that in general the integral closure of Kr F (D) may not coincide with the Kronecker function ring Kr(D).Indeed we have: Remark 5.1.Let D be an integral domain, F a defining family for D and set R = Kr F (D).

x 3 y by Theorem 3 . 3 .
In the next examples we construct rings of the form Kr F (D) such that the rings A V or C V are all maximal excluding.Example 5.11.Adopting the same notation of Example 5.4 and Proposition 5.10, let D

q
and C ′ have the same quotient field, we obtain that B ′ and C ′ have the same quotient field.Finally to prove (2), we simply notice that V dominates both A ∩ V and C, therefore it dominates the localization of B at the maximal ideal m V ∩ B = m C ∩ B. It follows that C ′ dominates the localization of B ′ at the center of V Q .Since B ′ and C ′ are Prüfer domains with the same quotient field, C ′ must be equal to that localization of B ′ .Theorem 5.15.Let D, A and R ′ be defined as in Construction 5.13.The following assertions hold:

Example 5 . 17 .
Let K be any field and let D ′ = [[K S ]] be a maximal excluding generalized power series ring.Let z be an indeterminate over Q(D) and set D = D ′ [[z]].Let A be the generalized power series ring over K obtained by adding to D all the elements of the form z y for y ∈ m D ′ a monomial element.This ring A can be represented as pullback of D ′ with respect to the quotient map from Q(D ′ )[[z]] to its residue field.Hence, by Theorem 3.1, A is maximal excluding.By standard properties of pullback diagrams (see [11]), A is the pullback of D ′ with respect to the same quotient map.Moreover, D = D ∩A.Let R ′ = Kr(D) ∩A(t).Notice that A and A are both local, therefore D, A and R ′ satisfy the hypothesis of Construction 5.13 without restrictions on the field K.The generalized power series rings of Example 3.8 and Example 3.14 provide examples where A is not a Prüfer domain.Those from Examples 3.4 and 3.7 provide examples where D is not finitely generated as D-module.