Popesco-Gabriel theorem for L(V)

DOI10.1016/0021-8693(85)90094-8MaRDI QIDQ1075412zbMATH OpenOpenAlexFDO

Authors Toyonori Kato

Publication date 1985

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(85)90094-8

zbMATH Keywords

category of unital right R-modulesequivalencesgeneratorinjective modulePopesco-Gabriel TheoremV-dominant dimensionV-localization

Mathematics Subject Classification ID

Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) Injective modules, self-injective associative rings (16D50) Module categories in associative algebras (16D90)

Review text

Let R be a ring with identity, \({\mathcal M}_ R\) the category of unital right R-modules, V an injective module in \({\mathcal M}_ R\), and let \({\mathcal L}(V)\) be the full subcategory of \({\mathcal M}_ R\) consisting of all modules of V-dominant dimension \(\geq 2\). The author proves the following ring theoretical version of the Popesco-Gabriel Theorem: Let V be an injective right R-module, \(U\in {\mathcal L}(V)\), \(S=End(U_ R)\), and Q the V-localization of R. Then the following conditions are equivalent: (1) U is a generator for \({\mathcal L}(V)\). (2) V is U-distinguished in \({\mathcal M}_ Q\). (3) The Hom-functors \[ Hom(U_ R,-)_ S: {\mathcal L}(V)\rightleftarrows {\mathcal L}(W): Hom(U^*_ S,-)_ R \] are equivalences, where \(W_ S=Hom(U_ R,V)_ S\) and \({}_ RU^*_ S=_ RHom(U_ R,Q)_ S\). (4) \(Hom(Q/I,V_ R)=0\) with I the trace ideal of U in Q.

Recommendations

• Gabriel-Popescu type theorems and applications
• Categories of modules over endomorphism rings
• A theorem on equivalences between categories of modules with some applications
• Publication:4735292
• Representable equivalences for closed categories of modules

Cites work

• Dominant modules
• scientific article; zbMATH DE number 3204678 (Why is no real title available?)
• scientific article; zbMATH DE number 3321314 (Why is no real title available?)
• Localizations in categories of modules. I
• On splitting of module categories
• Rings of U-dominant dimension \(\geq 1\)
• U-distinguished modules

This page was built for publication: Popesco-Gabriel theorem for \({\mathcal L}(V)\)

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