Totally simple modules
The paper develops a unified notion of totally \(\sigma\)-simple modules relative to a hereditary torsion theory \(\sigma\) on \(\mathrm{Mod}\text{-}A\), reconciling the artinian and noetherian approaches to simplicity. A module \(M\) is totally \(\sigma\)-simple if and only if it is non \(\sigma\)-torsion, its torsion submodule \(\sigma M\) is totally \(\sigma\)-torsion, and there exists an ideal \(h\in\mathcal L(\sigma)\) such that \(Mh\) is contained in every non totally \(\sigma\)-torsion submodule of \(M\) (Theorems~14 and~15). It is proved that totally \(\sigma\)-simple modules are totally \(\sigma\)-prime and totally \(\sigma\)-uniform, and satisfy both totally \(\sigma\)-noetherian and totally \(\sigma\)-artinian chain conditions (Propositions~12 and~18). As a structural complement, Proposition~29 describes minimal totally \(\sigma\)-simple modules, showing that such a module \(M\) is characterized by the fact that \(M/\sigma M\) is simple, \(\sigma M=(0:h)\) for some \(h\in\mathcal L(\sigma)\), and \(Mh=M\). In the finite type case, totally \(\sigma\)-simple modules are shown to coincide with totally \(\sigma_{A\setminus\mathfrak p}\)-simple modules for \(\mathfrak p\in C(\sigma)\) (Theorem~17). Numerous examples are provided to illustrate the theory and clarify the interaction between total simplicity, primeness, and finiteness conditions.
- \(S\)-prime ideals in principal domain
- \(S\)-prime ideals of a commutative ring
- An extension of S--noetherian rings and modules
- An extension of \(S\)-Artinian rings and modules to a hereditary torsion theory setting
- scientific article; zbMATH DE number 4073214 (Why is no real title available?)
- scientific article; zbMATH DE number 41271 (Why is no real title available?)
- On S-prime submodules
- S-NOETHERIAN RINGS
- S-small and S-essential submodules
This page was built for publication: Totally simple modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6916755)
