Torsion free covering modules. II (Q2545923): Difference between revisions

[For Part I, see Proc. Am. Math. Soc. 14, 884--889 (1963; Zbl 0116.26003)]. Over an integral domain \(A\), an \(A\)-linear map \(\varphi: F\to E\) is a torsion free covering if \(F\) is torsion free, \(\mathrm{ker}(\varphi)\) contains no non-zero pure submodule of \(F\) and if for any linear \(g: G\to F\) where \(G\) is torsion free there is an \(h: G\to F\) such that \(\varphi\circ h=g\). Since \(F\) is uniquely determined (up to isomorphism) by these properties it is called the torsion free covering module of \(E\) and denoted \(T(E)\). In this paper, the relation between the structure of \(E\) and of \(T(E)\) are considered and \(T(S)\) is computed in case \(S\) is a simple module over a valuation ring. If \(f: E_1\to E_2\) is linear and \(\varphi_i: T(E_i)\to E_i\) for \(i=1,2\) are torsion free coverings then it is shown that a linear map \(g: T(E_1)\to T(E_2)\) such that \(\varphi_2\circ g=f\circ \varphi\) may be an isomorphism even though \(f\) is not. If \(A\) is a Dedekind domain the maps \(f\) such that \(g\) must be an isomorphism are characterized.