Torsion free covering modules. II (Q2545923): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion Free Covering Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5605963 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cotorsion modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cotorsion free, an example of relative injectivity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Allgemeine Bewertungstheorie. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal fields with valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Coverings of Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5536696 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:11, 12 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Torsion free covering modules. II |
scientific article |
Statements
Torsion free covering modules. II (English)
0 references
1971
0 references
[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.
0 references