We first propose a generalization of the notion of Mathieu subspaces of associative algebras $$𝒜$$ , which was introduced recently in [Zhao W., Generalizations of the image conjecture and the Mathieu conjecture, J. Pure Appl. Algebra, 2010, 214(7), 1200–1216] and [Zhao W., Mathieu subspaces of associative algebras], to $$𝒜$$ -modules $$ℳ$$ . The newly introduced notion in a certain sense also generalizes the notion of submodules. Related with this new notion, we also introduce the sets σ(N) and τ(N) of stable...

A left module $M$ over an arbitrary ring is called an $\mathrm{ℛ𝒟}$-module (or an $\mathrm{ℛ𝒮}$-module) if every submodule $N$ of $M$ with $\mathrm{Rad}\left(M\right)\subseteq N$ is a direct summand of (a supplement in, respectively) $M$. In this paper, we investigate the various properties of $\mathrm{ℛ𝒟}$-modules and $\mathrm{ℛ𝒮}$-modules. We prove that $M$ is an $\mathrm{ℛ𝒟}$-module if and only if $M=\mathrm{Rad}\left(M\right)\oplus X$, where $X$ is semisimple. We show that a finitely generated $\mathrm{ℛ𝒮}$-module is semisimple. This gives us the characterization of semisimple rings in terms of $\mathrm{ℛ𝒮}$-modules. We completely determine the structure of these...

Torsion-free covers are considered for objects in the category $q_2.$ Objects in the category $q_2$ are just maps in $R$-Mod. For $R=\mathbb{Z},$ we find necessary and sufficient conditions for the coGalois group $G(A⟶B),$ associated to a torsion-free cover, to be trivial for an object $A⟶B$ in $q_2.$ Our results generalize those of E. Enochs and J. Rado for abelian groups.

In this article we characterize those abelian groups for which the coGalois group (associated to a torsion free cover) is equal to the identity.

Addendum to the author's article "Rings whose modules have maximal submodules", which appeared in Publicacions Matemàtiques 39, 1 (1995), 201-214.

Let R be a commutative ring and let M be an R-module. The aim of this paper is to establish an efficient decomposition of a proper submodule N of M as an intersection of primal submodules. We prove the existence of a canonical primal decomposition, $N={\bigcap }_{}{N}_{\left(\right)}$, where the intersection is taken over the isolated components $N_{\left(\right)}$ of N that are primal submodules having distinct and incomparable adjoint prime ideals . Using this decomposition, we prove that for ∈ Supp(M/N), the submodule N is an intersection of -primal...