Testing for cotorsionness over domains (Q957946): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 19:42, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing for cotorsionness over domains |
scientific article |
Statements
Testing for cotorsionness over domains (English)
0 references
1 December 2008
0 references
Summary: We are looking for reduced modules over an integral domain to test the cotorsionness of modules. Our focus is on the cotorsion theories due to Matlis, Enochs and Warfield, respectively. If \(\kappa\) is a cardinal such that \(\kappa^{\aleph_0}=2^{\kappa}\), then for domains \(R\) for which \(Q/R\) (\(Q\) is the quotient field of \(R\)) is not self-small there is a reduced strongly flat \(R\)-module \(U_k\) of rank \(2^\kappa\) that can be used to test whether or not an \(R\)-module of cardinality \(2^k\) is Matlis cotorsion; however, no such module exists if the cardinality restriction is removed. We also establish the existence of reduced modules which test Matlis cotorsion modules for Enochs or Warfield cotorsionness. For a given torsion-free or flat \(R\)-module \(A\) of cardinality \(\kappa\), we construct an Enochs, resp. Matlis cotorsion \(R\)-module \(M\) of cardinality \(2^\kappa\) with \(\text{Ext}^1_R (A; M)=0\) that is not Warfield, resp. not Enochs cotorsion.
0 references