Testing for cotorsionness over domains

Publication date 1 December 2008

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/108731

Torsion modules and ideals in commutative rings (13C12)

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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Testing for cotorsionness over domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q957946)