Dual-ADS, ADS^\# and ADS* modules

Injective modules, self-injective associative rings (16D50) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70)

Review text

In 1970, Fuchs has introduced the concept of \textit{absolute direct summand} abelian groups. Then, in [J. Algebra 352, No. 1, 215--222 (2012; Zbl 1256.16005)], \textit{A. Alahmadi} et al. introduced and studied the module-theoretical version of the absolute direct summand. Recall that a right module \(M\) is called ADS (or, absolute direct summand) if for every decomposition \(M=S\oplus T\) and every complement \(T'\) of \(S\) we have \(M=S\oplus T'\). It is shown that a right \(R\)-module M is ADS if and only if for each decomposition \(M=M_1\oplus M_2\), \(M_1\) and \(M_2\) are mutually injective (i.e., \(M_1\) is \(M_2\)-injective and \(M_2\) is \(M_1\)-injective). From this result, \textit{D. Keskin Tütüncü} [Bull. Math. Sci. 2, No. 2, 359--363 (2012; Zbl 1255.16004)] tried to study a dual case of ADS modules and wanted to have the dual result in mutually injectivivity of ADS modules, namely, ADS\({^*}\)-modules. Unfortunately, the concept of ADS\({^*}\) is possible as a dual of ADS but cannot be equivalent provided that every decomposition of that module into a direct sum of two modules are mutually projective.\N\NIn this paper, the authors introduce the concept of dual ADS (a module \(M\) is called \textit{dual-ADS}, if for each decomposition \(M=A\oplus B\) then \(A\) and \(B\) are mutually projective). Then, they give a fundamental characterization of the dual-ADS module class. Also, they study generalizations of dual-ADS modules, namely, ADS\(^\#\) modules, the properties of this class of modules are close to those of dual-ADS. In this direction, They show that a module \(M\) is dual-ADS if and only if for any direct summand \(S\) and \(T'\leq M\) with \(T'+S\) a direct summand of \(M\),then \(T'\) contains a direct complement of \(S\) in \(T'+S\). Finally, it is shown that a module \(M\) is ADS\(^\#\) if and only if for any direct summand \(S\) of \(M\), and any weak supplement \(T'\) of \(S\) in \(T'+S\) such that \(T'+S\) is a direct summand of \(M\),then \(T'\) contains a direct complement of \(S\) in \(T'+S\).

Cites work

Cited in

(1)

Modules close to quasi-discrete

This page was built for publication: Dual-ADS, \(\text{ADS}^\#\) and ADS* modules

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