DOCSLIB.ORG

Introduction to Commutative Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Introduction to Commutative Algebra December 20, 2019 About This Document This document was typeset by Jason McCullough. It is based on course notes from a course taught by Professor S.P. Dutta at the University of Illinois texed by Jason McCullough and Bart Snapp. The notes have been redone in 2019 for Math 619 at Iowa State taught by Jason McCullough. Special thanks to: Michael Dewar, Jordan Disch, Dan Lior, Christian McRoberts, Elizabeth Sprangel, and Patrick Szuta, for making many comments and corrections con- cerning these notes. Please report corrections, suggestions, gripes, complaints, and criticisms to: [email protected] Contents 0 Background 1 0.1 OperationsonIdeals ......................... 1 0.2 ChainConditions........................... 4 0.3 FlatModules ............................. 8 0.4 Localization.............................. 9 1 Primary Decomposition 13 1.1 PrimaryandCoprimaryModules . 13 1.2 ThePrimaryDecompositionTheorem . 15 1.2.1 Primary Decomposition and Localization . 18 1.2.2 AssociatedPrimes ...................... 21 1.3 ArbitraryModules .......................... 25 2 Filtrations and Completions 28 2.1 Limits ................................. 28 2.1.1 Direct Limits . 28 2.1.2 InverseLimits......................... 30 2.2 Filtrations and Completions . 32 2.2.1 Topology and Algebraic Structures . 32 2.2.2 Filtered Rings and Modules . 32 2.2.3 The Topology Corresponding to a Filtration . 33 2.2.4 GradedRingsandModules . 36 2.3 Adic Completions and Local Rings . 39 2.4 Faithfully Flat Modules . 44 3 Dimension Theory 52 3.1 TheGradedCase........................... 52 3.1.1 The Hilbert Polynomial . 54 3.2 TheHilbert-SamuelPolynomial . 59 3.3 TheTopologicalApproach. 66 3.3.1 Basic Definitions . 66 3.3.2 The Zariski Topology and the Prime Spectrum . 68 3.4 Systems of Parametersand the Dimension Theorem . 72 4 Integral Extensions 79 4.1 BasicProperties ........................... 79 4.2 ValuationRings............................ 90 4.3 NormalDomainsandDVRs. 92 4.4 DedekindDomains .......................... 95 4.5 TheKrull-AkizukiTheorem . 100 4.6 UniqueFactorizationandClassGroups . 103 4.7 Noether’sNormalizationLemma . 105 5 Homological Methods 113 5.1 ComplexesandHomology . 113 5.1.1 Projective Resolutions . 118 5.1.2 Injective Resolutions . 124 5.2 TorandExt.............................. 129 5.2.1 Tor...............................129 5.2.2 Ext ..............................134 5.3 Homological Notions of Dimension . 138 5.3.1 Projective Dimension . 138 5.3.2 Injective Dimension . 141 5.3.3 Global Dimension . 142 5.4 TheLocalCase............................ 143 5.4.1 Minimal Free Resolutions . 143 5.5 Regular Rings and Global Dimension . 146 5.5.1 RegularLocalRings . 146 5.5.2 RegularRings......................... 151 6 DepthandCohen-MacaulayModules 153 6.1 Depth .................................153 6.2 TheKoszulComplex......................... 167 6.3 Cohen-MacaulayModulesandRings . 174 7 InjectiveModulesoverNoetherianRings 186 7.1 Essential Extensions and Injective Hulls . 186 7.2 Matlis Duality . 191 7.3 Minimal Injective Resolutions . 196 7.4 GorensteinRings ........................... 201 7.5 Grothendieck’sFunctorialApproach . 210 8 Local Cohomology 216 8.1 Grothendieck’s Definition and Basic Properties . 216 8.2 LocalCohomologyandtheKoszulComplex . 219 8.3 LocalDuality ............................. 223 8.4 Set-TheoreticCompleteIntersections . 226 8.5 Grothendieck’sFunctorialApproach . 234 9 ApplicationsandGeneralizations 239 9.1 Hartshorne-LichtenbaumVanishing Theorem . 239 9.2 CanonicalModulesofLocalRings . 245 9.3 Mayer-VietorisSequence for Local Cohomology . 250 9.4 Faltings’ConnectednessTheorem . 252 9.5 TheKrullSchmidtTheorem. 253 9.6 S2-ification ..............................254 Bibliography 257 Index 259 ADiagramandExamplesofDomains 259 B Table of Invariances 262 Notation and Terminology All rings are commutative and contain multiplicative identity, moreover we will always insist that ring homomorphisms respect the multiplicative identity ele- ment. Local rings are assumed to be Noetherian. Additionally, all modules are unitary modules. We have made an attempt to be consistent with our notation: (1) Rings are often denoted by A, B, R, S. (2) Modules are often denoted by M or N. (3) Fields are often denoted by k, K, L, or F . (4) Ideals are denoted by I, J, a, and b, with m usually reserved for maximal ideals. We will try to reserve p, q, P , and Q for prime ideals. (5) X is often used to denote indeterminants and in general X := X1,...,Xn and x := x1,...,xn with the value of n (which is possibly infinite) being given by the context. (6) The symbol 1 will denote the identity map 1 : M M. M M → (7) The letter η will be often used to denote the canonical or natural map. (8) If ϕ is a map, ϕ will often stand for the map induced by ϕ. (9) We use the notation for set inclusion and use ( for strict inclusion. e ⊆ -The notion ֒ is used to denote an injective map and ։ denotes a sur (10) jective map.→ If a commutative diagram is drawn, the induced map will be dashed. (11) If A is a domain, Frac(A) will stand for the field of fractions of A. (12) If (A, m) is a local ring, A will often stand the m-adic completion of A. (13) If A is a ring, A will oftenb stand for the integral closure of A. (14) If k is a field, kewill often stand for the algebraic closure of k. Chapter 0 Background 0.1 Operations on Ideals Definition Given two ideals I,J A, the sum of I and J is defined as ⊆ I + J = x + y : x I and y J . { ∈ ∈ } Exercise 0.1 Show that if I and J are ideas in a ring A, then I +J is an ideal. Definition Given two ideals I,J A, the product of I and J is defined as ⊆ n I J = x y : x I and y J . · i · i i ∈ i ∈ (i=1 ) X Exercise 0.2 Show that if I and J are ideas in a ring A, then I J is an ideal. · Definition Given two ideals I,J A, the intersection of I and J is defined as the set-theoretic intersection of I⊆and J. Exercise 0.3 Show that if I and J are ideas in a ring A, then I J is an ideal. ∩ Exercise 0.4 If a, b, c are ideals of A, show that a(b + c)= ab + ac. Exercise 0.5 If a and b are ideals of A and M is an A-module, show that (a + b)M a(M/bM)= . bM Exercise 0.6 Assuming that a, b, c are ideals of A and that a b or a c, prove the modular law: ⊇ ⊇ a (b + c)= a b + a c. ∩ ∩ ∩ Definition Two ideals I,J A are called comaximal if I + J = (1). ⊆ 1 0.1. OPERATIONS ON IDEALS Remark Sometimes people use the term coprime for comaximal. We will refrain from doing this to avoid confusion later on with coprimary ideals. Exercise 0.7 Show that if I and J are comaximal ideals of A, then IJ = I J. ∩ Definition An element x of a ring is called nilpotent if there exists n N such that xn = 0. ∈ Definition The set of nilpotent elements of a ring A is called the nilradical of A. We will use √0 to denote this set. Note that √0 is an ideal. We can generalize the idea of the nilradical as follows: Definition The radical of an ideal I is denoted by √I and is defined to be the set √I = x A : xn I for some n N . { ∈ ∈ ∈ } Note that √I is an ideal. Proposition 0.8 Given a ring A, the radical of an ideal I is equal to the intersection of all the prime ideals which contain I. Proof ( ) Suppose that x √I. Then xn I and for each prime ideal containing⊆I, xn p. Since p is∈ prime, x p. Thus∈ ∈ ∈ √I p. ⊆ p \⊇I ( ) By the Correspondence Theorem, the prime ideals of A containing I correspond⊇ bijectively to the ideals of A/I, hence we reduce to the case where I = (0). Suppose that x is not nilpotent. We’ll show that x / p. ∈ p⊇\(0) Consider the set of ideals of A: = a : xi / a for i> 0 S { ∈ } Note that (0) and that may be ordered by inclusion. Now let be any chain of ideals∈ in S . This chainS has an upper bound in , namely theC ideal: S S a a [∈C Hence by Zorn’s Lemma, has a maximal element, call it p. We claim that p is prime. Suppose that a,b /S p. Hence (a)+ p and (b)+ p are ideals not contained in . Thus for some m,n∈ N: S ∈ xm (a)+ p and xn (b)+ p ∈ ∈ 2 CHAPTER 0. BACKGROUND Moreover, xm+n (ab)+ p ∈ and so we see that ab / p. Hence p is prime and x / p. Thus x is not in the intersection of the prime∈ ideals of A. ∈ Corollary 0.9 (Properties of Radicals) If I,J are ideals of A, the following hold: (1) I √I. ⊆ (2) √I = √I. (3) √IJ =p√I J = √I √J. ∩ ∩ (4) √pn = p. WARNING 0.10 The union of two ideals is not generally an ideal. Despite this fact there are some things we can say about unions of ideals. Lemma 0.11 (Prime Avoidance) Let A be a ring and I be an ideal of A. If p1,..., pn are prime ideals such that I p for all i, 6⊆ i then n I p . 6⊆ i i=1 [ Proof We proceed by induction on n. The base case n = 1 is trivial. So assume n 2. By induction, there exist for each 1 i n an element a I ≥ p . If any a avoid p we are done; hence≤ we may≤ assume that i ∈ − j6=i j i i ai pi for all i. Consider b = a1a2 an−1 + an. Since an / pi for all i<n ∈ S ··· ∈ and a1 an−1 pi for all i<n, we have b / pi for all i<n.
Recommended publications
  • Injective Modules: Preparatory Material for the Snowbird Summer School on Commutative Algebra

    Injective Modules: Preparatory Material for the Snowbird Summer School on Commutative Algebra

    INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to a small extent, what one can do with them. Let R be a commutative Noetherian ring with an identity element. An R- module E is injective if HomR( ;E) is an exact functor. The main messages of these notes are − Every R-module M has an injective hull or injective envelope, de- • noted by ER(M), which is an injective module containing M, and has the property that any injective module containing M contains an isomorphic copy of ER(M). A nonzero injective module is indecomposable if it is not the direct • sum of nonzero injective modules. Every injective R-module is a direct sum of indecomposable injective R-modules. Indecomposable injective R-modules are in bijective correspondence • with the prime ideals of R; in fact every indecomposable injective R-module is isomorphic to an injective hull ER(R=p), for some prime ideal p of R. The number of isomorphic copies of ER(R=p) occurring in any direct • sum decomposition of a given injective module into indecomposable injectives is independent of the decomposition. Let (R; m) be a complete local ring and E = ER(R=m) be the injec- • tive hull of the residue field of R. The functor ( )_ = HomR( ;E) has the following properties, known as Matlis duality− : − (1) If M is an R-module which is Noetherian or Artinian, then M __ ∼= M.
  • Unofficial Math 501 Problems (PDF)

    Unofficial Math 501 Problems (PDF)

    Uno±cial Math 501 Problems The following document consists of problems collected from previous classes and comprehensive exams given at the University of Illinois at Urbana-Champaign. In the exercises below, all rings contain identity and all modules are unitary unless otherwise stated. Please report typos, sug- gestions, gripes, complaints, and criticisms to: [email protected] 1) Let R be a commutative ring with identity and let I and J be ideals of R. If the R-modules R=I and R=J are isomorphic, prove I = J. Note, we really do mean equals! 2) Let R and S be rings where we assume that R has an identity element. If M is any (R; S)-bimodule, prove that S HomR(RR; M) ' M: 3) Let 0 ! A ! B ! C ! 0 be an exact sequence of R-modules where R is a ring with identity. If A and C are projective, show that B is projective. 4) Let R be a ring with identity. (a) Prove that every ¯nitely generated right R-module is noetherian if and only if R is a right noetherian ring. (b) Give an example of a ¯nitely generated module which is not noetherian. ® ¯ 5) Let 0 ! A ! B ! C ! 0 be a short exact sequence of R-modules where R is any ring. Assume there exists an R-module homomorphism ± : B ! A such that ±® = idA. Prove that there exists an R-module homomorphism : C ! B such that ¯ = idC . 6) If R is any ring and RM is an R-module, prove that the functor ¡ ­R M is right exact.
  • Local Cohomology and Matlis Duality – Table of Contents 0Introduction

    Local Cohomology and Matlis Duality – Table of Contents 0Introduction

    Local Cohomology and Matlis duality { Table of contents 0 Introduction . 2 1 Motivation and General Results . 6 1.1 Motivation . 6 1.2 Conjecture (*) on the structure of Ass (D( h (R))) . 10 R H(x1;:::;xh)R h 1.3 Regular sequences on D(HI (R)) are well-behaved in some sense . 13 1.4 Comparison of two Matlis Duals . 15 2 Associated primes { a constructive approach . 19 3 Associated primes { the characteristic-free approach . 26 3.1 Characteristic-free versions of some results . 26 dim(R)¡1 3.2 On the set AssR(D(HI (R))) . 28 4 The regular case and how to reduce to it . 35 4.1 Reductions to the regular case . 35 4.2 Results in the general case, i. e. h is arbitrary . 36 n¡2 4.3 The case h = dim(R) ¡ 2, i. e. the set AssR(D( (k[[X1;:::;Xn]]))) . 38 H(X1;:::;Xn¡2)R 5 On the meaning of a small arithmetic rank of a given ideal . 43 5.1 An Example . 43 5.2 Criteria for ara(I) · 1 and ara(I) · 2 ......................... 44 5.3 Di®erences between the local and the graded case . 48 6 Applications . 50 6.1 Hartshorne-Lichtenbaum vanishing . 50 6.2 Generalization of an example of Hartshorne . 52 6.3 A necessary condition for set-theoretic complete intersections . 54 6.4 A generalization of local duality . 55 7 Further Topics . 57 7.1 Local Cohomology of formal schemes . 57 i 7.2 D(HI (R)) has a natural D-module structure .
  • Noncommutative Unique Factorization Domainso

    Noncommutative Unique Factorization Domainso

    NONCOMMUTATIVE UNIQUE FACTORIZATION DOMAINSO BY P. M. COHN 1. Introduction. By a (commutative) unique factorization domain (UFD) one usually understands an integral domain R (with a unit-element) satisfying the following three conditions (cf. e.g. Zariski-Samuel [16]): Al. Every element of R which is neither zero nor a unit is a product of primes. A2. Any two prime factorizations of a given element have the same number of factors. A3. The primes occurring in any factorization of a are completely deter- mined by a, except for their order and for multiplication by units. If R* denotes the semigroup of nonzero elements of R and U is the group of units, then the classes of associated elements form a semigroup R* / U, and A1-3 are equivalent to B. The semigroup R*jU is free commutative. One may generalize the notion of UFD to noncommutative rings by taking either A-l3 or B as starting point. It is obvious how to do this in case B, although the class of rings obtained is rather narrow and does not even include all the commutative UFD's. This is indicated briefly in §7, where examples are also given of noncommutative rings satisfying the definition. However, our principal aim is to give a definition of a noncommutative UFD which includes the commutative case. Here it is better to start from A1-3; in order to find the precise form which such a definition should take we consider the simplest case, that of noncommutative principal ideal domains. For these rings one obtains a unique factorization theorem simply by reinterpreting the Jordan- Holder theorem for right .R-modules on one generator (cf.
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The

    LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The

    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
  • Projective, Flat and Multiplication Modules

    Projective, Flat and Multiplication Modules

    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 31 (2002), 115-129 PROJECTIVE, FLAT AND MULTIPLICATION MODULES M a j i d M . A l i a n d D a v i d J. S m i t h (Received December 2001) Abstract. In this note all rings are commutative rings with identity and all modules are unital. We consider the behaviour of projective, flat and multipli­ cation modules under sums and tensor products. In particular, we prove that the tensor product of two multiplication modules is a multiplication module and under a certain condition the tensor product of a multiplication mod­ ule with a projective (resp. flat) module is a projective (resp. flat) module. W e investigate a theorem of P.F. Smith concerning the sum of multiplication modules and give a sufficient condition on a sum of a collection of modules to ensure that all these submodules are multiplication. W e then apply our result to give an alternative proof of a result of E l-B ast and Smith on external direct sums of multiplication modules. Introduction Let R be a commutative ring with identity and M a unital i?-module. Then M is called a multiplication module if every submodule N of M has the form IM for some ideal I of R [5]. Recall that an ideal A of R is called a multiplication ideal if for each ideal B of R with B C A there exists an ideal C of R such that B — AC. Thus multiplication ideals are multiplication modules. In particular, invertible ideals of R are multiplication modules.
  • Modules Embedded in a Flat Module and Their Approximations

    Modules Embedded in a Flat Module and Their Approximations

    International Journal of Recent Development in Engineering and Technology Website: www.ijrdet.com (ISSN 2347 - 6435 (Online)) Volume 2, Issue 3, March 2014) Modules Embedded in a Flat Module and their Approximations Asma Zaffar1, Muhammad Rashid Kamal Ansari2 Department of Mathematics Sir Syed University of Engineering and Technology Karachi-75300S Abstract--An F- module is a module which is embedded in a Finally, the theory developed above is applied to flat flat module F. Modules embedded in a flat module approximations particularly the I (F)-flat approximations. demonstrate special generalized features. In some aspects We start with some necessary definitions. these modules resemble torsion free modules. This concept generalizes the concept of modules over IF rings and modules 1.1 Definition: Mmod-A is said to be a right F-module over rings whose injective hulls are flat. This study deals with if it is embedded in a flat module F ≠ M mod-A. Similar F-modules in a non-commutative scenario. A characterization definition holds for a left F-module. of F-modules in terms of torsion free modules is also given. Some results regarding the dual concept of homomorphic 1.2 Definition: A ring A is said to be an IF ring if its every images of flat modules are also obtained. Some possible injective module is flat [4]. applications of the theory developed above to I (F)-flat module approximation are also discussed. 1.3 Definition [Von Neumann]: A ring A is regular if, for each a A, and some another element x A we have axa Keyswords-- 16E, 13Dxx = a.
  • CRITERIA for FLATNESS and INJECTIVITY 3 Ring of R

    CRITERIA for FLATNESS and INJECTIVITY 3 Ring of R

    CRITERIA FOR FLATNESS AND INJECTIVITY NEIL EPSTEIN AND YONGWEI YAO Abstract. Let R be a commutative Noetherian ring. We give criteria for flatness of R-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if R has characteristic p, or more generally if it has a locally contracting en- domorphism. Dualizing, we give criteria for injectivity of R-modules in terms of coassociated primes and (h-)divisibility of certain Hom-modules. Along the way, we develop tools to achieve such a dual result. These include a careful analysis of the notions of divisibility and h-divisibility (including a localization result), a theorem on coassociated primes across a Hom-module base change, and a local criterion for injectivity. 1. Introduction The most important classes of modules over a commutative Noetherian ring R, from a homological point of view, are the projective, flat, and injective modules. It is relatively easy to check whether a module is projective, via the well-known criterion that a module is projective if and only if it is locally free. However, flatness and injectivity are much harder to determine. R It is well-known that an R-module M is flat if and only if Tor1 (R/P,M)=0 for all prime ideals P . For special classes of modules, there are some criteria for flatness which are easier to check. For example, a finitely generated module is flat if and only if it is projective. More generally, there is the following Local Flatness Criterion, stated here in slightly simplified form (see [Mat86, Section 22] for a self-contained proof): Theorem 1.1 ([Gro61, 10.2.2]).
  • MTH 304: General Topology Semester 2, 2017-2018

    MTH 304: General Topology Semester 2, 2017-2018

    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
  • Math 615: Lecture of April 16, 2007 We Next Note the Following Fact

    Math 615: Lecture of April 16, 2007 We Next Note the Following Fact

    Math 615: Lecture of April 16, 2007 We next note the following fact: n Proposition. Let R be any ring and F = R a free module. If f1, . , fn ∈ F generate F , then f1, . , fn is a free basis for F . n n Proof. We have a surjection R F that maps ei ∈ R to fi. Call the kernel N. Since F is free, the map splits, and we have Rn =∼ F ⊕ N. Then N is a homomorphic image of Rn, and so is finitely generated. If N 6= 0, we may preserve this while localizing at a suitable maximal ideal m of R. We may therefore assume that (R, m, K) is quasilocal. Now apply n ∼ n K ⊗R . We find that K = K ⊕ N/mN. Thus, N = mN, and so N = 0. The final step in our variant proof of the Hilbert syzygy theorem is the following: Lemma. Let R = K[x1, . , xn] be a polynomial ring over a field K, let F be a free R- module with ordered free basis e1, . , es, and fix any monomial order on F . Let M ⊆ F be such that in(M) is generated by a subset of e1, . , es, i.e., such that M has a Gr¨obner basis whose initial terms are a subset of e1, . , es. Then M and F/M are R-free. Proof. Let S be the subset of e1, . , es generating in(M), and suppose that S has r ∼ s−r elements. Let T = {e1, . , es} − S, which has s − r elements. Let G = R be the free submodule of F spanned by T .
  • Characterizing Gorenstein Rings Using Contracting Endomorphisms

    Characterizing Gorenstein Rings Using Contracting Endomorphisms

    CHARACTERIZING GORENSTEIN RINGS USING CONTRACTING ENDOMORPHISMS BRITTNEY FALAHOLA AND THOMAS MARLEY Dedicated to Craig Huneke on the occasion of his 65th birthday. Abstract. We prove several characterizations of Gorenstein rings in terms of vanishings of derived functors of certain modules or complexes whose scalars are restricted via contracting endomorphisms. These results can be viewed as analogues of results of Kunz (in the case of the Frobenius) and Avramov- Hochster-Iyengar-Yao (in the case of general contracting endomorphisms). 1. Introduction In 1969 Kunz [17] proved that a commutative Noetherian local ring of prime char- acteristic is regular if and only if some (equivalently, every) power of the Frobenius endomorphism is flat. Subsequently, the Frobenius map has been employed to great effect to study homological properties of commutative Noetherian local rings; see [20], [10], [23], [16], [4] and [3], for example. In this paper, we explore characteriza- tions of Gorenstein rings using the Frobenius map, or more generally, contracting endomorphisms. Results of this type have been obtained by Iyengar and Sather- Wagstaff [14], Goto [9], Rahmati [21], Marley [18], and others. Our primary goal is to obtain characterizations for a local ring to be Gorenstein in terms of one or more vanishings of derived functors in which one of the modules is viewed as an R-module by means of a contracting endomorphism (i.e., via restriction of scalars). A prototype of a result of this kind for regularity is given by Theorem 1.1 below. Let R be a commutative Noetherian local ring with maximal ideal m and φ : R ! R an endomorphism which is contracting, i.e., φi(m) ⊆ m2 for some i.
  • Cohen-Macaulay Modules Over Gorenstein Local Rings

    Cohen-Macaulay Modules Over Gorenstein Local Rings

    COHEN{MACAULAY MODULES OVER GORENSTEIN LOCAL RINGS RYO TAKAHASHI Contents Introduction 1 1. Associated primes 1 2. Depth 3 3. Krull dimension 6 4. Cohen{Macaulay rings and Gorenstein rings 9 Appendix A. Proof of Theorem 1.12 11 Appendix B. Proof of Theorem 4.8 13 References 17 Introduction Goal. The structure theorem of (maximal) Cohen{Macaulay modules over commutative Gorenstein local rings Throughout. • (R : a commutative Noetherian ring with 1 A = k[[X; Y ]]=(XY ) • k : a field B = k[[X; Y ]]=(X2;XY ) • x := X; y := Y 1. Associated primes Def 1.1. Let I ( R be an ideal of R (1) I is a maximal ideal if there exists no ideal J of R with I ( J ( R (2) I is a prime ideal if (ab 2 I ) a 2 I or b 2 I) (3) Spec R := fPrime ideals of Rg Ex 1.2. Spec A = f(x); (y); (x; y)g; Spec B = f(x); (x; y)g Prop 1.3. I ⊆ R an ideal (1) I is prime iff R=I is an integral domain (2) I is maximal iff R=I is a field 2010 Mathematics Subject Classification. 13C14, 13C15, 13D07, 13H10. Key words and phrases. Associated prime, Cohen{Macaulay module, Cohen{Macaulay ring, Ext module, Gorenstein ring, Krull dimension. 1 2 RYO TAKAHASHI (3) Every maximal ideal is prime Throughout the rest of this section, let M be an R-module. Def 1.4. p 2 Spec R is an associated prime of M if 9 x 2 M s.t p = ann(x) AssR M := fAssociated primes of Mg Ex 1.5.