On divisible modules over domains

From MaRDI portal





Let R be an integral domain with 1 and Q its field of quotients, \(R\neq 0\). An \(R-module\) D is said to be divisible if \(rD=\{rd| \quad d\in D\}\) equals D for each \(0\neq r\in R\). D is h-divisible if it is an epimorphic image of an injective R-module. Matlis and Hamsher showed: For any integral domain R, the following are equivalent: \((i)\quad p.d._ RQ=1;\) \((ii)\quad the\) torsion submodule of a divisible R-module is always a direct summand; \((iii)\quad each\) divisible module is h-divisible. Using this, we prove: For any integral domain R, the following are equivalent: \((i)\quad p.d._ RQ=1\) [or \(p.d._ RQ/R=1];\) \((ii)\quad Q/R\) is a direct sum of countably generated R-modules; \((iii)\quad each\) divisible torsion R-module of projective dimension 1 is a direct sum of countably generated R-modules.











This page was built for publication: On divisible modules over domains

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