Minimal injective resolutions and Bass invariants of modules over left stable left Noetherian rings
type: Item
instance of: scholarly article
title: Minimal injective resolutions and Bass invariants of modules over left stable left Noetherian rings
zbMATH Open document ID: 0533.16014
DOI: 10.1016/0022-4049(84)90074-4
author: Jonathan S. Golan
published in: Journal of Pure and Applied Algebra
publication date: 1984-01-01T00:00:00Z
review text: Let R be a left Noetherian ring which is left stable (i.e. every torsion theory in R-Mod is stable). In a certain sense, rings of this type are closer to commutative Noetherian rings than left Noetherian rings in general. The author illustrates this point by considering two constructions from homological algebra. We quote some sample results. First, it is shown, that an injective resolution \(0\to M\to E_ 0\to E_ 1\to...\) in R-Mod is minimal if and only if the natural map \(Hom_ R(W,Q_{\pi}(E_ i))\to Hom_ R(W,Q_{\pi}(E_{i+1}))\) is zero for each i, for each prime torsion theory \(\pi\) and for each \(\pi\)-cocritical module W. If this holds and if \(\tau\) is a perfect torsion theory, then \(0\to Q_{\tau}(M)\to Q_{\tau}(E_ 0)\to...\) is a minimal injective resolution of \(Q_{\tau}(M)\) in \(R_{\tau}\)-Mod. (Q denotes the localization functor.) For any R-module M write \(E(M)=\oplus E(\pi)^{\mu(\pi,M)},\) where \(\pi\) runs through all prime torsion theories and \(E(\pi)\) is the unique (up to isomorphism) injective hull of an \(\pi\)-cocritical module. The cardinal numbers \(\mu\) (\(\pi\),M) are called the Bass invariants. Among other results on these invariants, it is shown, that the \(\tau\)-dominant dimension of M (in the sense of the author and \textit{J. Raynaud} [J. Aust. Math. Soc., Ser. A 35, 162-177 (1983; Zbl 0516.16020)]) is the smallest i such that \(\mu(\pi,E_ i)\neq 0\) for some prime \(\pi\) not greater or equal to \(\tau\), \(0\to M\to E_ 0\to...\) being a minimal injective resolution. If \(\pi\) is a minimal prime and if \(\mu = \mu(\pi,E_ i)\) is finite, then \(\text{Ext}^ i_ R(C(\pi),M)\) is a \(\mu\)-dimensional vector space over the division ring \(D(\pi)\), the endomorphism ring of the core \(C(\pi)\) of \(E(\pi)\).
Mathematics Subject Classification ID: 16S90
Mathematics Subject Classification ID: 16D50
Mathematics Subject Classification ID: 16P40
Mathematics Subject Classification ID: 16P50
Mathematics Subject Classification ID: 16Exx
Mathematics Subject Classification ID: 16E10
zbMATH DE Number: 3845786
zbMATH Keywords: left stable left Noetherian ring
zbMATH Keywords: minimal injective resolution
zbMATH Keywords: prime torsion theory
zbMATH Keywords: perfect torsion theory
zbMATH Keywords: injective hull
zbMATH Keywords: cocritical module
zbMATH Keywords: Bass invariants
zbMATH Keywords: dominant dimension
Wikidata QID: Q114215405
reviewed by: Hans H. Storrer
MaRDI profile type: Publication
full work available at URL: 0022-4049(84)90074-4
OpenAlex ID: W2050307791
cites work: On the ubiquity of Gorenstein rings
cites work: Homological properties of the ring of differential polynomials
cites work: On consequences of stability
cites work: Des catégories abéliennes
cites work: Q4055809
cites work: On the maximal support of a module
cites work: Cocritically nice rings and boyle' conjecture
cites work: Q3663479
cites work: Coeur d'un module
cites work: On Stable Noetherian Rings
cites work: A topological characterization of stable rings
cites work: Q3919807
cites work: Q5634130
description: scientific article; zbMATH DE number 3845786