Multiplication Domains, Nagata Rings, and Kronecker Function Rings

Multiplication Domains, Nagata Rings, and Kronecker Function Rings

View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Algebra 319 (2008) 309–319 www.elsevier.com/locate/jalgebra Prüfer ∗-multiplication domains, Nagata rings, and Kronecker function rings Gyu Whan Chang Department of Mathematics, University of Incheon, Incheon 402-749, Republic of Korea Received 31 January 2007 Available online 30 October 2007 Communicated by Steven Dale Cutkosky Abstract Let D be an integrally closed domain, ∗ a star-operation on D, X an indeterminate over D,andN∗ = ∗ {f ∈ D[X]|(Af ) = D}.Forane.a.b. star-operation ∗1 on D,letKr(D, ∗1) be the Kronecker function ring of D with respect to ∗1. In this paper, we use ∗ todefineanewe.a.b. star-operation ∗c on D.Then ∗ [ ] = ∗ we prove that D is a Prüfer -multiplication domain if and only if D X N∗ Kr(D, c), if and only if Kr(D, ∗c) is a quotient ring of D[X], if and only if Kr(D, ∗c) is a flat D[X]-module, if and only if each ∗-linked overring of D is a Prüfer v-multiplication domain. This is a generalization of the following well- known fact that if D is a v-domain, then D is a Prüfer v-multiplication domain if and only if Kr(D, v) = [ ] [ ] [ ] D X Nv , if and only if Kr(D, v) is a quotient ring of D X , if and only if Kr(D, v) is a flat D X -module. © 2007 Elsevier Inc. All rights reserved. Keywords: (e.a.b.) ∗-operation; Prüfer ∗-multiplication domain; Nagata ring; Kronecker function ring 1. Introduction Let D be an integral domain with quotient field K, and let X be an indeterminate over D. For each polynomial f ∈ K[X], we denote by Af the fractional ideal of D generated by the coefficients of f . An overring of D means a ring between D and K.LetF(D) (respectively, f(D)) be the set of nonzero (respectively, nonzero finitely generated) fractional ideals of D;so f(D)⊆ F(D). Amap∗ : F(D) → F(D), I → I ∗, is called a star-operation on D if the following three conditions are satisfied for all 0 = a ∈ K and I,J ∈ F(D):(i)(aD)∗ = aD and (aI)∗ = aI∗, E-mail address: [email protected]. 0021-8693/$ – see front matter © 2007 Elsevier Inc. All rights reserved. doi:10.1016/j.jalgebra.2007.10.010 310 G.W. Chang / Journal of Algebra 319 (2008) 309–319 (ii) I ⊆ I ∗ and if I ⊆ J , then I ∗ ⊆ J ∗, and (iii) (I ∗)∗ = I ∗. Given a star-operation ∗ on D,we ∗ ∗ ∗ ∈ F f = can construct two new star-operations f and w on D as follows; for each I (D), I ∗ ∗ ∗ {J | J ⊆ I and J ∈ f(D)} and I w ={x ∈ K | xJ ⊆ I for some J ∈ f(D)with J = D} [1, Theorem 2.1]. The simplest example of star-operations is the d-operation, which is the identity map on F(D), i.e., I d = I for all I ∈ F(D). Other well-known star-operations are the v-, t- and w-operations. The v-operation is defined by I v = (I −1)−1, where I −1 ={x ∈ K | xI ⊆ D},for all I ∈ F(D), and the t-operation is given by t = vf and the w-operation is given by w = vw. A star-operation ∗ on D is said to be endlich arithmetisch brauchbar (e.a.b.)if,forall A,B,C ∈ f(D), (AB)∗ ⊆ (AC)∗ implies B∗ ⊆ C∗. It is well known that if D admits an e.a.b. star-operation, then D is integrally closed [16, Corollary 32.8]. Conversely, if D is integrally closed, define I b = {IV | V is a valuation overring of D} for each I ∈ F(D); then the map b : F(D) → F(D), given by I → I b,isane.a.b. star-operation D [16, Theorem 32.5]. Let ∗ be an e.a.b. star-operation on D, and define f ∗ ∗ Kr(D, ∗) ={0}∪ 0 = f,g ∈ D[X] such that (A ) ⊆ (A ) . g f g ∗ ={f | ∈ [ ] = } Then Kr(D, ) is a Bezout domain with quotient field K(X) g f,g D X and g 0 and Kr(D, ∗) ∩ K = D [16, Theorem 32.7]. We will call Kr(D, ∗) the Kronecker function ring of D with respect to the star-operation ∗. ∗ Let ∗ be a star-operation on D, and let N∗ ={f ∈ D[X]|(Af ) = D}.AnI ∈ F(D) is said to be ∗-invertible if (II −1)∗ = D, while D is a Prüfer ∗-multiplication domain (P∗MD) if each I ∈ f(D)is ∗f -invertible. Arnold proved that if D is integrally closed, then D is a Prüfer [ ] = [ ] domain if and only if D X Nd Kr(D, b), if and only if Kr(D, b) is a quotient ring of D X [4, Theorem 4]. This was generalized to PvMDs as follows: if D is a v-domain (D is a v-domain if the v-operation on D is an e.a.b. star-operation), then D is a PvMD if and only if Kr(D, v) [ ] = [ ] is a quotient ring of D X , if and only if Kr(D, v) D X Nv , if and only if Kr(D, v) is a flat D[X]-module ([15, Theorem 2.5], [5, Theorem 3]). The purpose of this paper is to generalize these results to arbitrary integrally closed domains (note that a v-domain is integrally closed (cf. [16, Theorem 34.6 and Proposition 34.7])). More precisely, let D be an integrally closed domain, and let {Vα} be the set of ∗-linked valuation overrings of D (definition is reviewed in Section 3). In Section 3, we show that the ∗ map ∗c : F(D) → F(D), given by I → I c = IVα,isane.a.b. star-operation on D such α ∗c b that (∗c)f =∗c, ∗c-Max(D) =∗f -Max(D), and I = (ID[X]N∗ ) ∩ K for each I ∈ F(D), where b is the b-operation on D[X]N∗ . Then we use these results to prove that D is a P∗MD if and only if Kr(D, ∗c) = D[X]N∗ , if and only if Kr(D, ∗c) is a quotient ring of D[X], if and only if Kr(D, ∗c) is a flat D[X]-module, if and only if each ∗-linked overring of D is a PvMD. We ∗ ∗ also prove that, for 0 = f ∈ D[X], Af is ∗f -invertible if and only if (Afg) w = (Af Ag) w for ∗ ∗ all 0 = g ∈ D[X]. As a corollary, we have that D is a P∗MD if and only if (Af Ag) w = (Afg) w for all 0 = f,g ∈ D[X]. This is the star-operation analog of the fact that D is a Prüfer domain if and only if Af Ag = Afg for all 0 = f , g ∈ D[X] [16, Corollary 28.6]. 2. Star-operations and P∗MD In this section, we review definitions related to star-operations, and then we examine some well-known characterizations of P∗MDs. G.W. Chang / Journal of Algebra 319 (2008) 309–319 311 Let D be an integral domain with quotient field K, and let ∗ be a star-operation on D.We say that ∗ is of finite character if ∗f =∗. It is clear that df = dw = d, (∗f )f =∗f and (∗w)f = ∗ ∗w = (∗f )w;sod, ∗f and ∗w are of finite character. An I ∈ F(D) is called a ∗-ideal if I = I . Let ∗-Max(D) denote the set of ∗-ideals maximal among proper integral ∗-ideals of D. We know that if is a star-operation of finite character on D, then -Max(D) =∅if D is not a field; each -ideal in -Max(D), called a maximal -ideal, is a prime ideal; each proper integral -ideal is contained in a maximal -ideal; and each prime ideal minimal over a -ideal is a -ideal. Also, ∗f -Max(D) =∗w-Max(D) [1, Theorem 2.16]. A ∗-ideal I ∈ F(D) is said to be ∗-finite if there ∗ is a J ∈ f(D) such that I = J . It is known that an I ∈ F(D) is ∗f -invertible if and only if ∗ I f is ∗f -finite and I is ∗f -locally principal, i.e., IDP is principal for all P ∈∗f -Max(D) [20, Proposition 2.6]. ∗ ∗ If ∗1 and ∗2 are star-operations on D, we mean by ∗1 ∗2 that I 1 ⊆ I 2 for all I ∈ F(D). Obviously, ∗f ∗, d ∗ v, d ∗w ∗f t, and if ∗1 ∗2, then (∗1)f (∗2)f and (∗1)w (∗2)w (cf. [1, Section 2]). The following lemma follows directly from the definitions; we recall it for the reader’s convenience. ∗ ∗ Lemma 2.1. Let ∗1 and ∗2 be star-operations of finite character on D.IfI 1 ⊆ I 2 for all ∗ ∗ I ∈ f(D), then ∗1 ∗2. In particular, ∗1 =∗2 if and only if I 1 = I 2 for all I ∈ f(D). ∗ Let N∗ ={f ∈ D[X]|(Af ) = D}; then N∗ is a saturated multiplicative subset of the ∗ ∗ polynomial ring D[X]. Note that, for each I ∈ f(D) with I ⊆ D,wehaveI = I f , and ∗ f = ∈∗ = = I D if and only if I P for all P f -Max(D); hence N∗ N∗f N∗w by the fact ∗w that ∗f -Max(D) =∗w-Max(D). It is known that ID[X]N∗ ∩ K = I for all I ∈ F(D) ([13, Proposition 3.4] or [6, Lemma 2.3]) and each invertible ideal of D[X]N∗ is principal [20, The- orem 2.14].

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    11 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us