Ore localization and minimal injective resolutions.

From MaRDI portal

DOI10.1016/J.JPAA.2013.02.003MaRDI QIDQ392166zbMATH OpenOpenAlexWikidataFDO

Authors Rishi Vyas

Publication date 13 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.6101


zbMATH Keywords

Auslander-Gorenstein ringsdualizing complexesExtinjective resolutionslocalizationsnoncommutative Noetherian ringsOre setsprime idealsright FBN ringssecond layer condition

Mathematics Subject Classification ID

Syzygies, resolutions, complexes in associative algebras (16E05) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Noetherian rings and modules (associative rings and algebras) (16P40) Localization and associative Noetherian rings (16P50) Resolutions; derived functors (category-theoretic aspects) (18G10) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)


Abstract: In this paper, we describe the structure of the localization of Ext^{i}_{R}(R/P,M), where P is a prime ideal and M is a module, at certain Ore sets X. We first study the situation for FBN rings, and then consider matters for a large class of Auslander-Gorenstein rings. We need to impose suitable homological regularity conditions to get results in the more general situation. The results obtained are then used to study the shape of minimal injective resolutions of modules over noetherian rings.


Review text

It is well-known that if \(R_S\) denotes the localization at a multiplicatively closed set \(S\) with \(1\) of a commutative Noetherian ring \(R\), and if \(M\) is a finitely generated \(R\)-module, then for any \(R\)-module \(N\) the \(R_S\)-modules \(\mathrm{Ext}^i_R(M,N)_S\) and \(\mathrm{Ext}^i_{R_S}(M_S,N_S)\) are isomorphic for all positive integers \(i\).NEWLINENEWLINE The question whether a similar result holds for non commutative Noetherian rings is meaningful only if at least one of the modules \(M\) and \(N\) is a bimodule, and a positive answer is known only in specific instances. The paper under review presents two such generalizations: (1) Let \(R\) be a Noetherian right FBN ring, let \(X\) be an Ore set in \(R\), let \(M\) be an \(R\)-module, and let \(P\) be a prime ideal of \(R\). Then \(\mathrm{Ext}^i_R(R/P,M)\otimes_RR_X\cong\mathrm{Ext}^i_{R_X}(R_X/P_X,M_X)\) as \(R_X\)-modules for all \(i\); (2) Let \(R\) be a grade-symmetric Auslander-Gorenstein ring, let \(P\) be a right localizable correct prime ideal with clique \(C\) and corresponding Ore set \(X\), and let \(M\) be an \(R\)-module of finite flat dimension. Then for all \(i\), \(\mathrm{Ext}^i_R(R/P,M)\otimes_RR_X\cong\mathrm{Ext}^i_{R_X}(R_X/P_X,M_X)\) as right \(R/P\)-modules. The author applies these results to the study of minimal injective resolutions of modules over Noetherian rings.


Recommendations


Cites work


Cited in
(4)








This page was built for publication: Ore localization and minimal injective resolutions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392166)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Ore_localization_and_minimal_injective_resolutions.&oldid=61491237"
Powered by MediaWiki