Model-theoretic aspects of \(\Sigma\)-cotorsion modules (Q876378): Difference between revisions
From MaRDI portal
Latest revision as of 17:37, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Model-theoretic aspects of \(\Sigma\)-cotorsion modules |
scientific article |
Statements
Model-theoretic aspects of \(\Sigma\)-cotorsion modules (English)
0 references
18 April 2007
0 references
A module \(M\) is said to be cotorsion if \(\text{Ext}^1(M,F)=0\) for every flat module \(F\). Pure-injective modules are cotorsion and this paper is part of a programme of the authors to extend the well-developed theory of pure-injectives to cotorsion modules. Say that a module \(M\) is \(\Sigma\)-cotorsion if for every \(\kappa\) the sum, \(M^{(\kappa)}\), of \(\kappa\) many copies of \(M\) is cotorsion. The analogous condition of \(\Sigma\)-pure-injectivity is equivalent to the descending chain condition on pp-definable subgroups (also called finite matrix subgroups) so it is reasonable to ask whether being \(\Sigma\)-cotorsion is equivalent to the dcc on certain kinds of pp-definable subgroups. The authors show that for countable rings this is so and they identify the particular kinds of pp-definable subgroups as those given by divisibility conditions. Their results are more general but beyond the context of countable rings the situation is more complicated. Another result which specialises nicely to countable rings is that, for such rings, it is enough to check the defining condition with \(\kappa =\aleph_0\) -- something which is true without restriction for \(\Sigma\)-pure-injectivity.
0 references
\(\Sigma\)-cotorsion module
0 references
divisibility condition
0 references
countably presented flat module
0 references