Associated ideals to totally noetherian modules
Pascual Jara\,^1 and Farah Omar\,^2
\,^{1,2}Department of Algebra, University of Granada, E-18071, Granada, Spain
Pages 321–337 | Received 24 January 2024, Accepted 17 May 2024, Published 08 November 2024
Abstract
One problem in the study of the decomposition of modules is to choose the simple pieces to build such decompositions. In the noetherian case these simple pieces are the coprimary modules; therefore, each noetherian module is a subdirect product of finitely many coprimary modules, and each coprimary module has associated a unique prime ideal. A relative notion of noetherian modules was introduced by Anderson and Dumitrescu as S-noetherian modules, relative to a multiplicative subset S\subseteq{A} of a commutative ring, in [1]. Since then many authors have worked on this notion introducing prime and primary ideal and submodules relative to S. We have chosen a more general point of view, and work on a hereditary torsion theory \sigma in Mod–{A} and extend S-noetherian to totally \sigma-noetherian, recovering earlier notions when we take \sigma=\sigma_S. Since we first show that \sigma is of finite type whenever A is totally \sigma-noetherian, hence our theory can be regarded as an extension of the Anderson-Dumitrescu’s theory taking a multiplicative subset of finitely generated ideals instead of a multiplicative subset of elements. In this context we establish new results on prime and primary ideals and submodules, provide a primary decomposition of totally \sigma-noetherian modules, and show some applications of this primary decomposition, in particular, to totally \sigma-artinian modules.
Keywords: primary submodule, S-finite module, noetherian ring, hereditary torsion theory, totally torsion.
MSC numbers: Primary 13E05, 13E10; Secondary 13C12.
Downloads: Full-text PDF