Torsion free covering modules. II

From MaRDI portal
Publication:2545923





[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.











This page was built for publication: Torsion free covering modules. II

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