A theorem on equivalences between categories of modules with some applications (Q1059700): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4190781 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Density and equivalence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3248050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Good dualities and strongly quasi-injective modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuller's theorem on equivalences / rank | |||
Normal rank |
Latest revision as of 18:02, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A theorem on equivalences between categories of modules with some applications |
scientific article |
Statements
A theorem on equivalences between categories of modules with some applications (English)
0 references
1984
0 references
The author proves the following generalization of a theorem of K. Fuller: Let \(A\) and \(R\) be rings; let \({\mathcal D}_ A\) and \({\mathcal G}_ R\) be full subcategories of Mod-\(A\) and Mod-\(R\), respectively, with the following properties: (1) \({\mathcal D}_ A\) is closed under taking submodules of objects in it and under taking direct sums of copies of \(A_ A\); (2) \({\mathcal G}_ R\) is closed under taking direct sums and epimorphic images. Suppose we are given an equivalence \((T,H)\) between the categories \({\mathcal D}_ A\) and \({\mathcal G}_ R\). Then there exists a bimodule \({}_ AP_ R\), with \(P=T(A)\), such that: a) \(T\cong-\otimes_{A}P\) and \(H\cong \Hom_ R(P,-)\) (with \(-\otimes_{A}P\) and \(\Hom_ R(P,-)\) obviously restricted and corestricted); b) \(A\cong \text{End}(P_ R)\) canonically and \({\mathcal G}_ R=\text{Gen}(P_ R)\); c) \({\mathcal D}_ A=\text{Mod-}A\); d) For all sets \(X\), \(\Hom_ R(P,P^{(X)})\cong A^{(X)}\) canonically; e) \(P_ R\) is a \(\Sigma\)-quasiprojective quasiprogenerator and \({}_ AP\) is faithfully flat moreover \(\text{Gen}(P_ R)\) is closed under submodules, so that \(\text{Gen}(P_ R)=\overline{\text{Gen}}(P_ R)\); f) The canonical image of \(R\) is dense in \(\text{End}(_ AP)\). Applications of the theorem to the theory of dualities between categories of discrete and compact modules are given.
0 references
equivalence between categories
0 references
direct sums
0 references
quasiprogenerator
0 references
faithfully flat
0 references
dualities between categories
0 references
compact modules
0 references