Pure injectivity of \(n\)-cotilting modules: the Prüfer and the countable case (Q1773923): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:44, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pure injectivity of \(n\)-cotilting modules: the Prüfer and the countable case |
scientific article |
Statements
Pure injectivity of \(n\)-cotilting modules: the Prüfer and the countable case (English)
0 references
28 April 2005
0 references
The question as to whether \(n\)-cotilting modules are pure-injective has been studied since 2001 but has only been answered affirmatively in the case of cotilting abelian groups and for 1-cotilting modules over arbitrary rings [\textit{R. Göbel} and \textit{J. Trlifaj}, J. Algebra 224, 110--122 (2000; Zbl 0947.20036); \textit{S. Bazzoni}, Proc. Am. Math. Soc. 131, 3665--3672 (2003; Zbl 1045.16004)]. Necessary and sufficient conditions for pure injectivity of \(n\)-cotilting modules were also found by \textit{S. Bazzoni} [Bull. Lond. Math. Soc. 36, No. 5, 599--612 (2004; Zbl 1140.90509)]. This paper brings the question nearer to a conclusion by showing that \(n\)-cotilting modules over a Prüfer domain or \(n\)-cotilting modules over countable rings are pure-injective. Proving the result for modules over Prüfer domains, the \(J\)-annihilator filtration of a divisible \(R\)-module is used. Let \(U\) be a countable \(R\)-module and let \(^{\bot}U\) denote the set of all \(R\)-modules \(M\) with \(\text{Ext}^{1}_{R} (M,U)=0\). If \(^{\bot}U\) is closed under direct products and pure submodules, it is first shown that \(^{\bot}U\) is closed under pure epimorphic images. From a result in another paper by the first author [Bull. Lond. Math. Soc. (loc. cit.)] it is then shown that every \(n\)-cotilting \(R\)-module over a countable ring \(R\) is pure injective.
0 references
cotilting
0 references
Prüfer domains
0 references
countable modules
0 references
countable rings
0 references
pure-injective modules
0 references