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