On divisible modules over domains (Q1106893)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On divisible modules over domains |
scientific article |
Statements
On divisible modules over domains (English)
0 references
1989
0 references
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.
0 references
divisible module
0 references
projective dimension
0 references
integral domain
0 references