Nagata rings.pdfVIP

Front．Math．China2015，10(1)：91—110 DOI10．1007／s11464-014—0388—0 Nagatarings PascualJARA DepartmentofAlgebra，UniversityofGranada，18071一Granada，Spain ⑥ HigherEducationPressandSpringer—VerlagBerlinHeidelberg2014 Abstract LetA beacommutativering．Forany set ofprimeidealsof A wedefineanewringNa(A， 1：theⅣ0gataring．Thisnewringhasthe particularity that we may transform certain properties relative to tO propertiesonthewholeringNa(A， )；someofthesepropertiesare：ascending chaincondition，Krulldimension，Cohen—Macaulay,Gorenstein．Ourmainaim iSto show thatm ostoftheabovepropertiesrelativetoasetofprimeideals (i．e．，localproperties)determineandaredeterminedbythesameproperties ontheNagataring (i．e．，globalproperties)．Inordertolookofrnew applications，we show that this construction is functorial，and exhibits a functorialembedding from the localized category (A， )一Mod into the modulecategoryNa(A， )一Mod． Keywords Cohen—Macaulay,Gorenstein，Krull，Nagatarings MSC 13A15，13B30，13F20，13F05，16S85 1 Introduction LetA bea commutativering．and let beaSetofprimeidealsofA．W_e dealwith thepropertiesofA inducedbypropertiesofthelocalizedringsAp， wherepcarrieson ，asitwasperformed，ofrinstance，in[5]，[3]，or[2]， where，amongothers，Cohen—M acaulay and Gorenstein propertiesrelativeto genericallystablesetsofprimeidealswerestudied． ItiSwellknownthatmanyclassesofcommutativeringsmaybedescribed intermsofthelocalizationatcertainsetsofprimeideals．LetUSexhibitsome particularexamples． (i1A commutativeringA isnoetherianif (1) pisanoetherianlocalringofranymaximalidealpand (2) ofranyfinitelygeneratedidealo，thesetofweakassociatedideals Assf(A／a)isfinite． ReceivedSeptember17，2013；accepted April12，2014 E—mail：pjara@ugr．es PascualJARA See[1，12]． fii1A commutativedomainD isaKrulldomainif (1){ Jp∈Spec(D)andht(p)=1)isasetofdiscretevaluationdomains and (2)D=N{D