Localization of Injective Modules Over Valuation Rings Francois Couchot
Total Page:16
File Type:pdf, Size:1020Kb
Load more
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 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)
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. -
Divisibility Theory of Semi-Hereditary Rings
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 12, December 2010, Pages 4231–4242 S 0002-9939(2010)10465-3 Article electronically published on July 9, 2010 DIVISIBILITY THEORY OF SEMI-HEREDITARY RINGS P. N. ANH´ AND M. SIDDOWAY (Communicated by Birge Huisgen-Zimmermann) Abstract. The semigroup of finitely generated ideals partially ordered by in- verse inclusion, i.e., the divisibility theory of semi-hereditary rings, is precisely described by semi-hereditary Bezout semigroups. A Bezout semigroup is a commutative monoid S with 0 such that the divisibility relation a|b ⇐⇒ b ∈ aS is a partial order inducing a distributive lattice on S with multiplication dis- tributive on both meets and joins, and for any a, b, d = a ∧ b ∈ S, a = da1 there is b1 ∈ S with a1 ∧ b1 =1,b= db1. S is semi-hereditary if for each a ∈ S there is e2 = e ∈ S with eS = a⊥ = {x ∈ S | ax =0}. The dictionary is therefore complete: abelian lattice-ordered groups and semi-hereditary Be- zout semigroups describe divisibility of Pr¨ufer (i.e., semi-hereditary) domains and semi-hereditary rings, respectively. The construction of a semi-hereditary Bezout ring with a pre-described semi-hereditary Bezout semigroup is inspired by Stone’s representation of Boolean algebras as rings of continuous functions and by Gelfand’s and Naimark’s analogous representation of commutative C∗- algebras. Introduction In considering the structure of rings, classical number theory suggests a careful study of the semigroup of divisibility, defined as the semigroup of principal (or more generally finitely generated) ideals partially ordered by reverse inclusion. -
Injective Modules and Divisible Groups
University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Masters Theses Graduate School 5-2015 Injective Modules And Divisible Groups Ryan Neil Campbell University of Tennessee - Knoxville, [email protected] Follow this and additional works at: https://trace.tennessee.edu/utk_gradthes Part of the Algebra Commons Recommended Citation Campbell, Ryan Neil, "Injective Modules And Divisible Groups. " Master's Thesis, University of Tennessee, 2015. https://trace.tennessee.edu/utk_gradthes/3350 This Thesis is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Masters Theses by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a thesis written by Ryan Neil Campbell entitled "Injective Modules And Divisible Groups." I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the equirr ements for the degree of Master of Science, with a major in Mathematics. David Anderson, Major Professor We have read this thesis and recommend its acceptance: Shashikant Mulay, Luis Finotti Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) Injective Modules And Divisible Groups AThesisPresentedforthe Master of Science Degree The University of Tennessee, Knoxville Ryan Neil Campbell May 2015 c by Ryan Neil Campbell, 2015 All Rights Reserved. ii Acknowledgements I would like to thank Dr. -
Hereditary Rings Integral Over Their Centers
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 102, 119-128 (1986) Hereditary Rings Integral over Their Centers ELLEN KIRKMAN AND JAMES KUZMANOVICH Department of Mathematics and Computer Science, Wake Forest University, Box 7311, Reynolda Station, Winston-Salem, North Carolina 27109 Communicated by P. M. Cohn Received October 1, 1984 Bergman [2] has completely characterized the center of a right hereditary ring; the center of a right hereditary ring is a Krull p. p. ring, and any Krull p. p. ring is the center of a right hereditary. While the center of a hereditary ring thus need not be hereditary, there are conditions which imply that the center is hereditary. Robson and Small [13] have shown that the center of a prime PI right hereditary ring is a Dedekind domain, and the center of a PI hereditary Noetherian ring is a finite direct sum of Dedekind domains. The center of a right hereditary PI ring need not be hereditary; Small and Wadsworth [16] have given an example of a PI right hereditary, right Noetherian ring whose center is not Noetherian or semihereditary. Jondrup [ 111 showed that a right hereditary ring which is module-finite over its center has a hereditary center. Chatters and Jondrup [S] showed that a PI right hereditary ring which is ring-finite over its cen- ter has a hereditary center. We shall prove that any right hereditary ring integral over its center has a hereditary center. Chatters and Jondrup [5] ask if a right and left hereditary PI ring has always has a hereditary center; we will produce an example to show it does not. -
Lectures on Local Cohomology
Contemporary Mathematics Lectures on Local Cohomology Craig Huneke and Appendix 1 by Amelia Taylor Abstract. This article is based on five lectures the author gave during the summer school, In- teractions between Homotopy Theory and Algebra, from July 26–August 6, 2004, held at the University of Chicago, organized by Lucho Avramov, Dan Christensen, Bill Dwyer, Mike Mandell, and Brooke Shipley. These notes introduce basic concepts concerning local cohomology, and use them to build a proof of a theorem Grothendieck concerning the connectedness of the spectrum of certain rings. Several applications are given, including a theorem of Fulton and Hansen concern- ing the connectedness of intersections of algebraic varieties. In an appendix written by Amelia Taylor, an another application is given to prove a theorem of Kalkbrenner and Sturmfels about the reduced initial ideals of prime ideals. Contents 1. Introduction 1 2. Local Cohomology 3 3. Injective Modules over Noetherian Rings and Matlis Duality 10 4. Cohen-Macaulay and Gorenstein rings 16 d 5. Vanishing Theorems and the Structure of Hm(R) 22 6. Vanishing Theorems II 26 7. Appendix 1: Using local cohomology to prove a result of Kalkbrenner and Sturmfels 32 8. Appendix 2: Bass numbers and Gorenstein Rings 37 References 41 1. Introduction Local cohomology was introduced by Grothendieck in the early 1960s, in part to answer a conjecture of Pierre Samuel about when certain types of commutative rings are unique factorization 2000 Mathematics Subject Classification. Primary 13C11, 13D45, 13H10. Key words and phrases. local cohomology, Gorenstein ring, initial ideal. The first author was supported in part by a grant from the National Science Foundation, DMS-0244405. -
9 the Injective Envelope
9 The Injective Envelope. In Corollaries 3.6 and 3.11 we saw that every module RM is a factor of a projective and the submodule of an injective. So we would like to learn whether there exist such projective and injective modules that are in some sense minimal and universal for M, sort of closures for M among the projective and injective modules. It turns out, strangely, that here we discover that our usual duality for projectives and injectives breaks down; there exist minimal injective extensions for all modules, but not minimal projectives for all modules. Although we shall discuss the projective case briey, in this section we focus on the important injective case. The rst big issue is to decide what we mean by minimal projective and injective modules for M. Fortunately, the notions of of essential and superuous submodules will serve nice as criteria. Let R be a ring — initially we place no further restriction. n epimorphism superuous Ker f M A(n) f : M → N is essential in case monomorphism Im f –/ N So for example, if M is a module of nite length, then the usual map M → M/Rad M is a superuous epimorphism and the inclusion map Soc M → M is an essential monomorphism. (See Proposition 8.9.) 9.1. Lemma. (1) An epimorphism f : M → N is superuous i for every homomorphism g : K → M,iff g is epic, then g is epic. (2) A monomorphism f : M → N is essential i for every homomorphism g : N → K,ifg f is monic, then g is monic. -
Advanced Commutative Algebra Lecture Notes
Advanced Commutative Algebra Lecture Notes Lecturer: Paul Smith; written and edited by Josh Swanson September 30, 2015 Abstract The following notes were taking during a course on Advanced Commutative Algebra at the University of Washington in Fall 2014. Please send any corrections to [email protected]. Thanks! Contents September 24th, 2014: Tensor Product Definition, Universal Property................2 September 26th, 2014: Tensor-Hom Adjunction, Right Exactness of Tensor Products, Flatness..4 September 29th, 2014: Tensors and Quotients, Support of a Module.................6 October 1st, 2014: Prime Avoidance Lemma, Associated Primes...................9 October 3rd, 2014: Associated Primes Continued, Minimal Primes, Zero-Divisors, Regular Elements 10 October 6th, 2014: Duality Theories, Injective Envelopes, and Indecomposable Injectives..... 12 October 8th, 2014: Local Cohomology Defined............................. 14 October 10th, 2014: Examples of Injectives and Injective Hulls.................... 16 October 13th, 2014: Local Cohomology and Depth through Ext; Matlis Duality........... 18 October 15th, 2014: Matlis Duality Continued............................. 20 October 17th, 2014: Local Cohomology and Injective Hulls Continued................ 22 October 20th, 2014: Auslander-Buchsbaum Formula; Nakayama's Lemma.............. 24 October 22nd, 2014: Dimension Shifting, Rees' Theorem, Depth and Regular Sequences...... 26 October 27th, 2014: Krull Dimension of Modules............................ 28 October 29th, 2014: Local Cohomology over -
Injective Modules and Torsion Functors 10
INJECTIVE MODULES AND TORSION FUNCTORS PHAM HUNG QUY AND FRED ROHRER Abstract. A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI under formation of rings of fractions, tensor products and idealisation is studied. Applications to local cohomology over non-noetherian rings are given. Introduction Let R be a ring1. It is an interesting phenomenon that the behaviour of injective R- modules is related to noetherianness of R. For example, by results of Bass, Matlis and Papp ([14, 3.46; 3.48]) the following statements are both equivalent to R being noetherian: (i) Direct sums of injective R-modules are injective; (ii) Every injective R-module is a direct sum of indecomposable injective R-modules. In this article, we investigate a further property of the class of injective R-modules, dependent on an ideal a ⊆ R, that is shared by all noetherian rings without characterising them: We say that R has ITI with respect to a if the a-torsion submodule of any injective R-module is again injective2. It is well-known that ITI with respect to a implies that every a-torsion R-module has an injective resolution whose components are a-torsion modules. We show below (1.1) that these two properties are in fact equivalent. Our interest in ITI properties stems from the study of the theory of local cohomology (i.e., the right derived cohomological functor of the a-torsion functor). -
Mittag-Leffler Modules and Semi-Hereditary Rings
RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA ULRICH ALBRECHT ALBERTO FACCHINI Mittag-Leffler modules and semi-hereditary rings Rendiconti del Seminario Matematico della Università di Padova, tome 95 (1996), p. 175-188 <http://www.numdam.org/item?id=RSMUP_1996__95__175_0> © Rendiconti del Seminario Matematico della Università di Padova, 1996, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Mittag-Leffler Modules And Semi-hereditary Rings. ULRICH ALBRECHT (*) - ALBERTO FACCHINI (**) (***) 1. - Introduction. In [2] it was demonstrated that many properties of torsion-free abelian groups carry over to non-singular right modules over right strongly non-singular, right semi-hereditary rings, where a ring R is called right strongly non-singular if the finitely generated non-singu- lar right modules are precisely the finitely generated submodules of free modules. A complete characterization of right strongly non-singu- lar right semi-hereditary rings can be found in [9, Theorem 5.18]. In particular, it was shown that right strongly non-singular, right semi- hereditary rings are left semi-hereditary too, so that we shall call such rings right strongly non-singular semi-hereditary. Examples of this type of rings are the semi-prime semi-hereditary right and left Goldie rings, for instance Prffer domains, as well as infinite dimensional rings like Z~’ . -
Projective and Injective Modules Master of Science
PROJECTIVE AND INJECTIVE MODULES A Project Report Submitted in Partial Fulfilment of the Requirements for the Degree of MASTER OF SCIENCE in Mathematics and Computing by BIKASH DEBNATH (Roll No. 132123008) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI - 781039, INDIA April 2015 CERTIFICATE This is to certify that the work contained in this report entitled \Projec- tive and Injective Modules" submitted by Bikash Debnath (Roll No: 132123008) to the Department of Mathematics, Indian Institute of Tech- nology Guwahati towards the requirement of the course MA699 Project has been carried out by him under my supervision. Guwahati - 781 039 (Dr. Shyamashree Upadhyay) April 2015 Project Supervisor ii ABSTRACT Projective and Injective modules arise quite abundantly in nature. For example, all free modules that we know of, are projective modules. Similarly, the group of all rational numbers and any vector space over any field are ex- amples of injective modules. In this thesis, we study the theory of projective and injective modules. iv Contents 1 Introduction 1 1.1 Some Basic Definitions . 1 1.1.1 R- Module Homomorphism . 2 1.1.2 Exact Sequences . 3 1.1.3 Isomorphic Short Exact sequences . 5 1.1.4 Free Module . 8 2 Projective Modules 9 2.1 Projective modules : Definition . 9 3 Injective Modules 13 3.1 Injective modules : Definition . 13 3.1.1 Divisible Group . 16 Bibliography 20 vi Chapter 1 Introduction 1.1 Some Basic Definitions Modules over a ring are a generalization of abelian groups (which are mod- ules over Z). Definition 1. Let R be a ring. -
On Rings Whose Simple Modules Are Lnjective
JOURNAL OF ALGEBRA 25, 185-201 (1973) On Rings whose Simple Modules are lnjective G. 0. MICHLER McGill University, Department of Mathematics, Montreal 110, Canada AND 0. E. VILLAMAYOR Univwsidad de Buenos Aires, Facultad de Ciencias Exactas y Natwales, Buenos Aires, Argentina Communicated by A. W. Goldie Received March 15, 1971 INTRODUCTION By a well-known theorem due to Kaplansky a commutative ring R is von Neumann regular if and only if every simple R module is injective. In the noncommutative case neither the necessary nor the sufficient part of Kaplansky’s theorem holds as has been shown by C. Faith [6] and J. Cozzens [4]. This paper is mainly concerned with the determination of the structure of a {not necessarily commutative) ring R (with identity) whose simple right R moduIes are injective. In Section 2 the main properties of such a ring R are stated; some of them were obtained by the second author many years ago (cf. 161) without being published. In particular, it is shown that the center Z(R) of R is von Neumann regular (Coroilary 2.2 and Lemma 2.3), and that the class of rings R considered here is Morita invariant (Theorem 2.5). As an application of the results of Section 2 we obtain in Section 3 that the ring R is semisimple and artinian if and only if every cyclic semisimple R module is injective (Theorem 3.2). This answers an open question of Sandomierski and Cateforis [3]. In Section 4 it is shown that the rings R of right Krull- dimension at most one, whose simple right R modules are injective, are exactly the direct sums of finitely many simple rings Si each of which is Morita equivalent to a right hereditary, right noetherian domain Di whose torsion modules are injective and completely reducible (Theorem 4.2).