S-Injective Modules and Rings

Total Page:16

File Type:pdf, Size:1020Kb

S-Injective Modules and Rings Advances in Pure Mathematics, 2014, 4, 25-33 Published Online January 2014 (http://www.scirp.org/journal/apm) http://dx.doi.org/10.4236/apm.2014.41004 S-Injective Modules and Rings Nasr A. Zeyada1,2 1Department of Mathematics, Faculty of Science, Cairo University, Cairo, Egypt 2Department of Mathematics, Faculty of Science, King Abdulaziz University, KSA Email: [email protected] Received October 7, 2013; revised November 7, 2013; accepted November 15, 2013 Copyright © 2014 Nasr A. Zeyada. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In accordance of the Creative Commons Attribution License all Copyrights © 2014 are reserved for SCIRP and the owner of the intellectual property Nasr A. Zeyada. All Copyright © 2014 are guarded by law and by SCIRP as a guardian. ABSTRACT We introduce and investigate the concept of s-injective modules and strongly s-injective modules. New characte- rizations of SI-rings, GV-rings and pseudo-Frobenius rings are given in terms of s-injectivity of their modules. KEYWORDS S-Injective Module; Kasch Ring; Pseudo Frobenius Ring 1. Introduction In this paper we introduce and investigate the notion of s-injective Modules and Rings. A right R-module M is called right s-N-injective, where N is a right R-module, if every R-homomorphism fK: → M extends to N , where K is a submodule of the singular submodule ZN( ) . M is called strongly s-injective if M is s-N-injective for every right R-module N. The connection between this new injectivity condition and other injectivity conditions has been established, and examples are provided to distinguish s-injectivity from other injectivity concepts such as mininjectivity, soc-injectivity. Several properties of this new class of injectivity are highlighted. Throughout this paper all rings are associative with identity, and all modules are unitary R-modules. For a right R-module M R , we denoted JM( ) , soc( M ) , and ZM( ) by the Jacobson radical, the socle and the singular submodule of M , respectively. Sr , Sl , Zr , Zl and J are used to indicate the right socle, the left socle, the right singular ideal, the left singular ideal, and the Jacobson radical of R , respectively. For a submodule N of M , the notations NM⊆ess , NM⊆max and NM⊆⊕ mean, respectively, that N is essential, maximal, and direct summand. If X is a subset of a right R-module M , right annihilators will be denoted by r( X) = rR ( X) =∈={ r R: xr 0 for all x ∈ X} , with a similar definition of left annihilators • • lX( ) = lR ( X) . Multiplication maps x→ ax and x→ xa will be denoted by a and a , respectively. If M and N are right R-modules, then M is called N-injective if every R-homomorphism from a submodule of N into M can be extended to an R-homomorphism from N into M. Mod-R indicates the category of right R-modules. We refer to [1-3] for all the undefined notions in this paper. 2. Strongly S-Injective Modules Definition 1 A right R-module M is called s-N-injective if every R-homomorphism fK: → M extends to N , where K is a submodule of the singular submodule ZN( ) . M is called s-injective if M is s-R-injective. M is called strongly s-injective, if M is s-N-injective for all right R-modules N . For example every nonsingular R-module is strongly s-injective. In particular, the ring of integers Z is strongly s-injective, but not injective. Proposition 1 1) Let N be a right R-module and {MiIi : ∈ } a family of right R-modules. Then the direct product ∏M i iI∈ OPEN ACCESS APM 26 N. A. ZEYADA is s-N-injective if and only if each M i is s-N-injective, iI∈ . 2) Let M, N , and K be right R-modules with KN⊆ . If M is s-N-injective, then M is s-K-injective. 3) Let M, N , and K be right R-modules with KN≅ . If K is s-M-injective, then N is s-M-injective. 4) Let N be a right R-module and {Aii : ∈ I} a family of right R-modules. Then N is sA--⊕ i injective iI∈ if and only if N is sA--i injective, ∀∈iI. 5) A right R-module M is s-injective if and only if M is s-P-injective for every projective right R-module P . 6) Let M, N , and K be right R-modules with NM⊆⊕ . If M is s-K-injective, then N is s-K- injective. 7) If A , B , and M are right R-modules, ABRR≅ , and M is s-A-injective, then M is s-B-injective. Proof. The proofs of 1) through 4) are routine. 5). This follows from 4). 6). Let fL: → N be an R-homomorphism where L is singular submodule of N . Then the map ι fL: → can be extended to an R-homomorphism gK: → M, where ι : NM→ the inclusion map. Now, the map π gK: → N is an extension of f , where π : MN→ the natural projection map into N . 7). Let fA: RR→ B be an R-isomorphism, and gK: → MR an R-homomorphism where K is a singular submodule of B . The restriction of f to ZA( ) induces an isomorphism fZA( RR) :. ZA( ) → ZB( R) By hypothesis, the map gfK : → MR can be extended to an R-homomorphism η :.AMRR→ Now, the map η fBM−1 : → is an extension of g . □ The next two corollaries are immediate consequences of the above proposition. Corollary 1 Let N be a right R-module. Then the following statements are true: 1) A finite direct sum of s-N-injective modules is again s-N-injective. In particular a finite direct sum of s-injective (strongly s-injective) modules is again s-injective (strongly s-injective). 2) A summand of s-N-injective (s-injective, strongly s-injective) module is again s-N-injective (s-injective, strongly s-injective) module. Corollary 2 1) Let M be a right R-module and 1 =+++ee12 en in R , where the ei are orthogonal idempotents. Then M is s-injective if and only if M is seR--i injective for each i , 1.≤≤in 2) Assume that e and f are idempotents of R , eR≅ fR, and M is s−− eR injective. Then M is s-fN-injective. Proposition 2 If N is a finitely generated right R-module, then the following conditions are equivalent: 1) Any direct sum of s-N-injective modules is s-N-injective. 2) Any direct sum of injective modules is s-N-injective. 3) ZN( ) is noetherian. Proof. 1) ⇒ 2). Clear. 2) ⇒ 3). Consider a chain UU12⊆⊆ of singular submodules of N and UU=1≤ii. Let E( NUi ) be the injective hull of NUi , i ≥ 1, and f: U→ ⊕ E( NUi ) be a map defined by fn( ) =( nU + i ) . Since, 1≤i ˆ ⊕E( NUi ) is s-N-injective, f can be extended to an R-homomorphism f:. N→ ⊕ E( NUi ) Since N 1≤i 1≤i ˆ ⊆ ⊆ is finitely generated, f( N) ⊕ E( NUi ) for some n, then f( U) ⊕ E( NUi ) and UU= jn+ for 1≤≤in 1≤≤in every j ≥ 1. Hence ZN( ) is noetherian. 3) ⇒ 1). Let EE= ⊕ i be a direct sum of s-N-injective modules, and fU: → ER be a homomorphism of iI∈ right R-modules where U⊆ ZN( ) . Since ZN( ) is noetherian, fU( ) ⊆ ⊕ Ei for some finite subset FI⊆ . iF∈ Since finite direct sums of s-N-injective modules is s-N-injective, f can be extended to an R-homomorphism fNˆ :.→ E □ The second singular submodule of a right R-module M , denoted by ZM2 ( ) , is defined by the equality Z2 ( M) ZM( ) = ZMZM( ( )) . We see that a ZM2 ( ) is closed submodule of M and MZ2 ( M) is non-singular. A right R-module is Goldie torsion if ZG2 ( ) = G. Lemma 1 Let M and N be right R-modules such that ZM2 ( ) is injective. Then every homomorphism OPEN ACCESS APM N. A. ZEYADA 27 fK: → M where K⊆ ZN2 ( ) extends to N . Proof. Let M= ZM2 ( ) ⊕ T where ZM2 ( ) is injective and ZT( ) = 0 . If fK: → M is a homomor- phism where K⊆ ZN2 ( ) such that fZK( ( )) = 0 , then f( K) ≅ K Ker( f ) is singular. So f extendable ≠∈ ≅ to N . Now suppose that 0 fk( ) T, so f( kR) kR Ker( f kR ) is singular which is a contradiction. Thus fK( ) T= 0 . Suppose that fk( ) = a + b where aZM∈ 2 ( ) and bT∈ , bR f( kR) = 0 . So ra( ) ⊆ rb( ) and the kernal of the map aR→ bR by ar br is essential in aR which is a contradiction. Then every □ homomorphism fK: → M where K⊆ ZN2 ( ) extends to N . Proposition 3 The following statements are equivalent: 1) M is strongly s-injective. 2) M is sI--( M) injective, where IM( ) is the injective hull of M . 3) MEK= ⊕ , where K is nonsingular and E is injective with ZM( ) ⊆ess E. 4) ZM2 ( ) is injective. 5) M is G-injective for every Goldie torsion module G . 6) M is I-injective, where I= IZ( 2 ( M)) is the injective hull of ZM2 ( ) . Proof. 1) ⇒ 2). Clear. 2) ⇒ 3). If ZM( ) = 0 , we are done. Assume that ZM( ) ≠ 0 and consider the following diagram: 0 ↓ 0 →ZM( ) →i1 D i2 ↓ M where ι1 and i2 are inclusion maps and D is injective closure of ZM( ) in IM( ) .
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.
    [Show full text]
  • 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.
    [Show full text]
  • On Prime Rings with Ascending Chain Condition on Annihilator Right Ideals and Nonzero Infective Right Ideals
    Canad. Math. Bull. Vol. 14 (3), 1971 ON PRIME RINGS WITH ASCENDING CHAIN CONDITION ON ANNIHILATOR RIGHT IDEALS AND NONZERO INFECTIVE RIGHT IDEALS BY KWANGIL KOH AND A. C. MEWBORN If / is a right ideal of a ring R91 is said to be an annihilator right ideal provided that there is a subset S in R such that I={reR\sr = 0, VseS}. lis said to be injective if it is injective as a submodule of the right regular i£-module RR. The purpose of this note is to prove that a prime ring R (not necessarily with 1) which satisfies the ascending chain condition on annihilator right ideals is a simple ring with descending chain condition on one sided ideals if R contains a nonzero right ideal which is injective. LEMMA 1. Let M and T be right R-modules such that M is injective and T has zero singular submodule [4] and no nonzero injective submodule. Then Hom# (M, T)={0}. Proof. Suppose fe Hom^ (M, T) such that /=£ o. Let Kbe the kernel off. Then K is a proper submodule of M and there exists me M such that f(m)^0. Let (K:m)={reR\mreK}. Since the singular submodule of T is zero and f(m)(K:m)={0} the right ideal (K:m) has zero intersection with some nonzero right ideal / in R. Then ra/#{0} and K n mJ={0}. Let mJ be the injective hull of m J. Since M is injective, mJ is a submodule of M. mJC\ K={0} since m J has nonzero intersection with each submodule which has nonzero intersection with mJ (See [4, p.
    [Show full text]
  • STRUCTURE THEORY of FAITHFUL RINGS, III. IRREDUCIBLE RINGS Ri
    STRUCTURE THEORY OF FAITHFUL RINGS, III. IRREDUCIBLE RINGS R. E. JOHNSON The first two papers of this series1 were primarily concerned with a closure operation on the lattice of right ideals of a ring and the resulting direct-sum representation of the ring in case the closure operation was atomic. These results generalize the classical structure theory of semisimple rings. The present paper studies the irreducible components encountered in the direct-sum representation of a ring in (F II). For semisimple rings, these components are primitive rings. Thus, primitive rings and also prime rings are special instances of the irreducible rings discussed in this paper. 1. Introduction. Let LT(R) and L¡(R) designate the lattices of r-ideals and /-ideals, respectively, of a ring R. If M is an (S, R)- module, LT(M) designates the lattice of i?-submodules of M, and similarly for L¡(M). For every lattice L, we let LA= {A\AEL, AÍ^B^O for every nonzero BEL). The elements of LA are referred to as the large elements of L. If M is an (S, i?)-module and A and B are subsets of M, then let AB-1={s\sE.S, sBCA} and B~lA = \r\rER, BrQA}. In particu- lar, if ï£tf then x_10(0x_1) is the right (left) annihilator of x in R(S). The set M*= {x\xEM, x-WEL^R)} is an (S, i?)-submodule of M called the right singular submodule. If we consider R as an (R, i?)-module, then RA is an ideal of R called the right singular ideal in [6], It is clear how Af* and RA are defined and named.
    [Show full text]
  • SS-Injective Modules and Rings Arxiv:1607.07924V1 [Math.RA] 27
    SS-Injective Modules and Rings Adel Salim Tayyah Department of Mathematics, College of Computer Science and Information Technology, Al-Qadisiyah University, Al-Qadisiyah, Iraq Email: [email protected] Akeel Ramadan Mehdi Department of Mathematics, College of Education, Al-Qadisiyah University, P. O. Box 88, Al-Qadisiyah, Iraq Email: [email protected] March 19, 2018 Abstract We introduce and investigate ss-injectivity as a generalization of both soc-injectivity and small injectivity. A module M is said to be ss-N-injective (where N is a module) if every R-homomorphism from a semisimple small submodule of N into M extends to N. A module M is said to be ss-injective (resp. strongly ss-injective), if M is ss-R- injective (resp. ss-N-injective for every right R-module N). Some characterizations and properties of (strongly) ss-injective modules and rings are given. Some results of Amin, Yuosif and Zeyada on soc-injectivity are extended to ss-injectivity. Also, we provide some new characterizations of universally mininjective rings, quasi-Frobenius rings, Artinian rings and semisimple rings. Key words and phrases: Small injective rings (modules); soc-injective rings (modules); SS- Injective rings (modules); Perfect rings; quasi-Frobenius rings. 2010 Mathematics Subject Classification: Primary: 16D50, 16D60, 16D80 ; Secondary: 16P20, 16P40, 16L60 . arXiv:1607.07924v1 [math.RA] 27 Jul 2016 ∗ The results of this paper will be part of a MSc thesis of the first author, under the supervision of the second author at the University of Al-Qadisiyah. 1 Introduction Throughout this paper, R is an associative ring with identity, and all modules are unitary R- modules.
    [Show full text]
  • D-Extending Modules
    Hacettepe Journal of Hacet. J. Math. Stat. Volume 49 (3) (2020), 914 – 920 Mathematics & Statistics DOI : 10.15672/hujms.460241 Research Article D-extending modules Yılmaz Durğun Department of Mathematics, Çukurova University, Adana, Turkey Abstract A submodule N of a module M is called d-closed if M/N has a zero socle. D-closed submodules are similar concept to s-closed submodules, which are defined through non- singular modules by Goodearl. In this article we deal with modules with the property that all d-closed submodules are direct summands (respectively, closed, pure). The structure of a ring over which d-closed submodules of every module are direct summand (respectively, closed, pure) is studied. Mathematics Subject Classification (2010). 16D10, 16D40 Keywords. D-extending modules, d-closed submodules, semiartinian modules 1. Introduction Throughout we shall assume that all rings are associative with identity and all modules are unitary right modules. Let R be a ring and let M be an R-module. A (proper) submodule N of M will be denoted by (N M) N ≤ M. By E(M), Rad(M) and Soc(M) we shall denote the injective hull, the Jacobson radical, and the socle of M as usual. For undefined notions used in the text, we refer the reader to [2,11]. A submodule N of a module M is essential (or large) in M, denoted N ¢M, if for every 0 ≠ K ≤ M, we have N ∩ K ≠ 0; and N is said to be closed in M if N has no proper essential extension in M. We also say in this case that N is a closed submodule.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • Injective Hulls of Simple Modules Over Some Noetherian Rings
    Osman Can Hatipoglu˘ Injective Hulls of Simple Modules Over Some Noetherian Rings Faculdade de Ciências da Universidade do Porto Osman Can Hatipoglu˘ Injective Hulls of Simple Modules Over Some Noetherian Rings Tese submetida à Faculdade de Ciências da Universidade do Porto para obtenção do grau de Doutor em Matemática Outubro de 2013 Resumo Estudamos a seguinte propriedade de finitude de um anel Noetheriano esquerdo R: (⋄) Os envolucros injectivos de R-módulos simples são localmente Artinianos. A propriedade (⋄) é estudada em duas classes de anéis. Motivados pelo resul- tado de Musson: nenhuma álgebra envolvente duma álgebra de Lie de dimensão finita solúvel mas não nilpotent sobre um corpo algebricamente fechado satisfaz a propriedade (⋄), começamos por considerar as super álgebras de Lie nilpotentes e descrevemos as de dimensão finita cuja álgebra envolvente satisfaz a propriedade (⋄). A segunda classe de anéis que estudamos são os anéis de operadores diferen- ciais sobre um anel de polinómios com coeficientes num corpo, S = k[x][y;δ]. Para esta classe de anéis obtemos condições suficientes para a existência de extensões essenciais de módulos simples que não são Artinianos. Combinando os obtidos com resultados de Awami, Van den Bergh, e van Oystaeyen e de Alev e Dumas relativa- mente a classificação das extensões de Ore obtemos a caracterização completa de extensões de Ore S = k[x][y;σ,δ] que satisfazem a propriedade (⋄). Consideramos ainda a relaço entre teorias de torção estáveis e a propriedade (⋄) em anéis Noetherianos. Em particular, mostramos que um anel Noetheriano R tem a propriedade (⋄) se e só se a teoria de torção de Dickson em R-Mod é estável.
    [Show full text]
  • 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
    [Show full text]
  • The Differential Graded Stable Category of a Self-Injective Algebra
    The Differential Graded Stable Category of a Self-Injective Algebra Jeremy R. B. Brightbill July 17, 2019 Abstract Let A be a finite-dimensional, self-injective algebra, graded in non- positive degree. We define A -dgstab, the differential graded stable category of A, to be the quotient of the bounded derived category of dg-modules by the thick subcategory of perfect dg-modules. We express A -dgstab as the triangulated hull of the orbit category A -grstab /Ω(1). This result allows computations in the dg-stable category to be performed by reducing to the graded stable category. We provide a sufficient condition for the orbit cat- egory to be equivalent to A -dgstab and show this condition is satisfied by Nakayama algebras and Brauer tree algebras. We also provide a detailed de- scription of the dg-stable category of the Brauer tree algebra corresponding to the star with n edges. 1 Introduction If A is a self-injective k-algebra, then A -stab, the stable module category of A, arXiv:1811.08992v2 [math.RT] 18 Jul 2019 admits the structure of a triangulated category. This category has two equivalent descriptions. The original description is as an additive quotient: One begins with the category of A-modules and sets all morphisms factoring through projective modules to zero. More categorically, we define A -stab to be the quotient of ad- ditive categories A -mod /A -proj. The second description, due to Rickard [13], describes A -stab as a quotient of triangulated categories. Rickard obtains A -stab as the quotient of the bounded derived category of A by the thick subcategory of perfect complexes (i.e., complexes quasi-isomorphic to a bounded complex of projective modules).
    [Show full text]