Almost free modules and Mittag-Leffler conditions. (Q411645): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(R\) be a ring. \textit{P. Rothmaler} [Habilitationsschrift, Kiel (1994)] introduced the notion of Mittag-Leffler module relative to a class of left \(R\)-modules \(\mathcal Q\). A right \(R\)-module \(M\) is called \(\mathcal Q\)-Mittag-Leffler if the canonical morphism \(M\otimes_R\prod_{i\in I}X_i\to\prod_{i\in I}M\otimes_RX_i\) is monic for any family of left \(R\)-modules \(\{X_i\mid i\in I\}\) from \(\mathcal Q\). It is shown that a right \(R\)-module \(M\) is \(\mathcal Q\)-Mittag-Leffler if and only if it has an \(\aleph_1\)-dense system, i.e. a directed family of submodules closed under unions of countable ascending chains and such that any countable subset of \(M\) is contained in an element of the system, of \(\mathcal Q\)-Mittag-Leffler modules. In particular, flat Mittag-Leffler modules are characterized as modules having an \(\aleph_1\)-system of projective modules, i.e. \(\aleph_1\)-projective. Next, the authors consider strict Mittag-Leffler modules. Some properties of this class of modules are given and its relation with separability is studied. In Section 4, the characterization of rings with the property that the class of flat \(\mathcal Q\)-Mittag-Leffler modules is closed under product is obtained. The last part of the paper is devoted to show that the class of flat Mittag-Leffler modules is not suitable to contruct a Quillen model category on the category of all chain complexes of quasi-coherent sheaves on a scheme. This question is reduced to consider the deconstructibility, in the sense of \textit{P. C. Eklof} [Publ. Mat., Barc. 52, No. 1, 3-18 (2008; Zbl 1147.16001)], of the class of flat Mittag-Leffler modules. This condition is only satisfied when the ring is perfect. | |||
Property / review text: Let \(R\) be a ring. \textit{P. Rothmaler} [Habilitationsschrift, Kiel (1994)] introduced the notion of Mittag-Leffler module relative to a class of left \(R\)-modules \(\mathcal Q\). A right \(R\)-module \(M\) is called \(\mathcal Q\)-Mittag-Leffler if the canonical morphism \(M\otimes_R\prod_{i\in I}X_i\to\prod_{i\in I}M\otimes_RX_i\) is monic for any family of left \(R\)-modules \(\{X_i\mid i\in I\}\) from \(\mathcal Q\). It is shown that a right \(R\)-module \(M\) is \(\mathcal Q\)-Mittag-Leffler if and only if it has an \(\aleph_1\)-dense system, i.e. a directed family of submodules closed under unions of countable ascending chains and such that any countable subset of \(M\) is contained in an element of the system, of \(\mathcal Q\)-Mittag-Leffler modules. In particular, flat Mittag-Leffler modules are characterized as modules having an \(\aleph_1\)-system of projective modules, i.e. \(\aleph_1\)-projective. Next, the authors consider strict Mittag-Leffler modules. Some properties of this class of modules are given and its relation with separability is studied. In Section 4, the characterization of rings with the property that the class of flat \(\mathcal Q\)-Mittag-Leffler modules is closed under product is obtained. The last part of the paper is devoted to show that the class of flat Mittag-Leffler modules is not suitable to contruct a Quillen model category on the category of all chain complexes of quasi-coherent sheaves on a scheme. This question is reduced to consider the deconstructibility, in the sense of \textit{P. C. Eklof} [Publ. Mat., Barc. 52, No. 1, 3-18 (2008; Zbl 1147.16001)], of the class of flat Mittag-Leffler modules. This condition is only satisfied when the ring is perfect. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Q232526 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E75 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16B70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6028994 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mittag-Leffler modules | |||
Property / zbMATH Keywords: Mittag-Leffler modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
deconstructible classes | |||
Property / zbMATH Keywords: deconstructible classes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kaplansky classes | |||
Property / zbMATH Keywords: Kaplansky classes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
model category structures | |||
Property / zbMATH Keywords: model category structures / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-coherent sheaves | |||
Property / zbMATH Keywords: quasi-coherent sheaves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\aleph_1\)-projective modules | |||
Property / zbMATH Keywords: \(\aleph_1\)-projective modules / rank | |||
Normal rank |
Revision as of 19:41, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Almost free modules and Mittag-Leffler conditions. |
scientific article |
Statements
Almost free modules and Mittag-Leffler conditions. (English)
0 references
30 April 2012
0 references
Let \(R\) be a ring. \textit{P. Rothmaler} [Habilitationsschrift, Kiel (1994)] introduced the notion of Mittag-Leffler module relative to a class of left \(R\)-modules \(\mathcal Q\). A right \(R\)-module \(M\) is called \(\mathcal Q\)-Mittag-Leffler if the canonical morphism \(M\otimes_R\prod_{i\in I}X_i\to\prod_{i\in I}M\otimes_RX_i\) is monic for any family of left \(R\)-modules \(\{X_i\mid i\in I\}\) from \(\mathcal Q\). It is shown that a right \(R\)-module \(M\) is \(\mathcal Q\)-Mittag-Leffler if and only if it has an \(\aleph_1\)-dense system, i.e. a directed family of submodules closed under unions of countable ascending chains and such that any countable subset of \(M\) is contained in an element of the system, of \(\mathcal Q\)-Mittag-Leffler modules. In particular, flat Mittag-Leffler modules are characterized as modules having an \(\aleph_1\)-system of projective modules, i.e. \(\aleph_1\)-projective. Next, the authors consider strict Mittag-Leffler modules. Some properties of this class of modules are given and its relation with separability is studied. In Section 4, the characterization of rings with the property that the class of flat \(\mathcal Q\)-Mittag-Leffler modules is closed under product is obtained. The last part of the paper is devoted to show that the class of flat Mittag-Leffler modules is not suitable to contruct a Quillen model category on the category of all chain complexes of quasi-coherent sheaves on a scheme. This question is reduced to consider the deconstructibility, in the sense of \textit{P. C. Eklof} [Publ. Mat., Barc. 52, No. 1, 3-18 (2008; Zbl 1147.16001)], of the class of flat Mittag-Leffler modules. This condition is only satisfied when the ring is perfect.
0 references
Mittag-Leffler modules
0 references
deconstructible classes
0 references
Kaplansky classes
0 references
model category structures
0 references
quasi-coherent sheaves
0 references
\(\aleph_1\)-projective modules
0 references