On the cogeneration of cotorsion pairs (Q1882879)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the cogeneration of cotorsion pairs |
scientific article |
Statements
On the cogeneration of cotorsion pairs (English)
0 references
1 October 2004
0 references
It is known that if a cotorsion pair over a Dedekind domain is generated by a class of cotorsion (i.e.\ homomorphic image of pure-injective) modules then it is cogenerated by a set. The authors show in theorem 1.3 that this cannot be reasonably strengthened: It is consistent with ZFC (the usual axioms of set theory) that over any Dedekind domain with just countably many prime ideals, for all cotorsion pair generated and cogenerated by a set of modules, all cogenerators must be cotorsion. The proof requires a good understanding of cotorsion modules and only basic knowledge of set theory (stationary sets, clubs). The article is concise and well-written.
0 references
cotorsion pair
0 references
cotorsion theory
0 references
cogeneration by a set
0 references
Dedekind domain
0 references
cotorsion module
0 references