Rings whose modules are \(\oplus\)-supplemented (Q1306898)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rings whose modules are \(\oplus\)-supplemented
scientific article

    Statements

    Rings whose modules are \(\oplus\)-supplemented (English)
    0 references
    0 references
    0 references
    0 references
    20 December 1999
    0 references
    A module \(M\) is called lifting (or satisfies (D1)) if for every submodule \(N\) of \(M\), there are summands \(K\) and \(K'\) of \(M\) such that \(M=K\oplus K'\), \(K'\) is contained in \(N\), and \(N\cap K\) is small in \(K\). Lifting modules have been studied extensively, e.g., in the monograph of \textit{S. H. Mohamed} and \textit{B. J. Mueller} [Continuous and discrete modules, Lond. Math. Soc. Lect. Note Ser. 147, Cambridge Univ. Press, Cambridge (1990; Zbl 0701.16001)]. Generalizing this concept, a module \(M\) is defined to be \(\oplus\)-supplemented if for every submodule \(N\) of \(M\) there is a summand \(K\) of \(M\) such that \(M=N+K\) and \(N\cap K\) is small in \(K\). The authors give several interesting characterizations of rings in terms of \(\oplus\)-supplemented modules. It is shown that every finitely generated right \(R\)-module is \(\oplus\)-supplemented if and only if every cyclic right \(R\)-module is \(\oplus\)-supplemented and every finitely generated right \(R\)-module is a direct sum of cyclic modules. Also, a ring \(R\) is serial if and only if every finitely presented right and finitely presented left \(R\)-module is \(\oplus\)-supplemented. Moreover, every finitely generated right and finitely generated left \(R\)-module is \(\oplus\)-supplemented if and only if \(R\) is serial and every indecomposable injective right and left \(R\)-module is uniserial. Finally, it is proved that every right \(R\)-module and left \(R\)-module is \(\oplus\)-supplemented if and only if \(R\) is Artinian serial.
    0 references
    lifting modules
    0 references
    \(\oplus\)-supplemented modules
    0 references
    serial rings
    0 references
    finitely generated modules
    0 references
    direct sums of cyclic modules
    0 references
    finitely presented modules
    0 references
    uniserial modules
    0 references

    Identifiers