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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
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

Latest revision as of 02: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
    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

    Identifiers