Cofinitely \(\delta_M\)-supplemented and cofinitely \(\delta_M\)-semiperfect modules.
type: Item
instance of: scholarly article
zbMATH Open document ID: 1258.16007
author: Ali Omer Alattass
publication date: 2012-09-12T00:00:00Z
full work available at URL: index.html
Mathematics Subject Classification ID: 16D80
Mathematics Subject Classification ID: 16D90
Mathematics Subject Classification ID: 16D40
Mathematics Subject Classification ID: 16L30
zbMATH DE Number: 6081640
zbMATH Keywords: small submodules
zbMATH Keywords: projective covers
zbMATH Keywords: cofinitely supplemented modules
zbMATH Keywords: cofinitely semiperfect modules
zbMATH Keywords: amply supplemented modules
zbMATH Keywords: \(\delta_M\)-supplemented modules
zbMATH Keywords: semiperfect modules
zbMATH Keywords: projective modules
zbMATH Keywords: direct summands
MaRDI profile type: Publication
title: Cofinitely \(\delta_M\)-supplemented and cofinitely \(\delta_M\)-semiperfect modules.
published in: International Journal of Algebra
review text: The notation \(\sigma[M]\) is used for the full subcategory of right \(R\)-modules whose objects are all right \(R\)-modules subgenerated by \(M\) (\(R\) an associative ring with unity and \(M\) a right \(R\)-module). A module \(N\) in \(\sigma[M]\) is defined to be cofinitely \(\delta_M\)-supplemented (resp. \(\oplus\)-cofinitely \(\delta_M\)-supplemented) provided each cofinite submodule of \(N\) has a \(\delta_M\)-supplement in \(N\) (resp. a \(\delta_M\)-supplement in \(N\) which is a direct summand of \(N\)). These concepts are generalizations of \(\delta_M\)- (resp. \(\oplus\delta_M\))-supplemented modules. Factor modules and direct sums of cofinitely \(\delta_M\)-supplemented modules are shown to retain this property. Cofinitely \(\delta_M\)-supplemented modules are characterized as those for which every maximal submodule of \(N\) has a \(\delta_M\)-supplement in \(N\).NEWLINENEWLINE A module \(N\) in \(\sigma[M]\) is said to be amply cofinitely \(\delta_M\)-supplemented if each cofinite submodule of \(N\) has an ample \(\delta_M\)-supplement in \(N\), i.e. if every submodule \(K\) of \(N\) with \(N=L+K\) contains a \(\delta_M\)-supplement \(L\) of \(N\). Modules in \(\sigma[M]\) all of whose submodules are cofinitely-\(\delta_M\)-supplemented, are shown to be amply cofinitely-\(\delta_M\)-supplemented, as are \(\pi\)-projective cofinitely-\(\delta_M\)-supplemented modules in \(\sigma[M]\). In the case of duo or distributive modules, factor modules are shown to retain the \(\oplus\)-cofinitely-\(\delta_M\)-supplemented property.NEWLINENEWLINE An epimorphism \(f\colon P\to N\), \(P,N\in\sigma[M]\), is defined to be a \(\delta_M\)-cover if \(\text{Ker}(f)\) is a \(\delta_M\)-small submodule of \(P\). If \(P\) is projective in \(\sigma[M]\), then \(f\) is called a projective \(\delta_M\)-cover. If a factor module by a cofinite submodule of a module \(K\) in \(\sigma[M]\) has a projective \(\delta_M\)-cover, then \(K\) is called a cofinitely \(\delta_M\)-semiperf…
reviewed by: Frieda Theron
description: scientific article; zbMATH DE number 6081640