Strongly Irreducible Submodules of Modules

Strongly irreducible submodules of modules are defined as follows： A submodule N of an Rmodule M is said to be strongly irreducible if for submodules L and K of M, the inclusion L ∩ K ∈ N implies that either L ∈ N or K ∈ N. The relationship among the families of irreducible, strongly irreducible, prime and primary submodules of an R-module M is considered, and a characterization of Noetherian modules which contain a non-prime strongly irreducible submodule is given.     

On Isolated Submodules

Let R be a ring with identity and let M be a unital left R-module. A proper submodule L of M is radical if L is an intersection of prime submodules of M. Moreover, a submodule L of M is isolated if, for each proper submodule N of L, there exists a prime submodule K of M such that N ? K but L ? K. It is proved that every proper submodule of M is radical (and hence every submodule of M is isolated) if and only if N ∩ IM = IN for every submodule N of M and every (left primitive) ideal I of R. In case, R/P is an Artinian ring for every left primitive ideal P of R it is proved that a finitely generated submodule N of a nonzero left R-module M is isolated if and only if PN = N ∩ PM for every left primitive ideal P of R. If R is a commutative ring, then a finitely generated submodule N of a projective R-module M is isolated if and only if N is a direct summand of M.     

T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

On Strongly Essential Submodules

The submodules with the property of the title (N ? M is strongly essential in M if ∏ _I N is essential in ∏ _I M for any index set I) are introduced and fully investigated.

It is shown that for each submodule N of M there exists a subset T ? M such that N + T is strongly essential submodule of M and (N:T) = Ann(T), T  ∩  N = 0. Basic properties of these objects and several examples are given and the counterparts of the related concepts to essential submodules are also introduced and studied. It is shown that each maximal left ideal of a left fully bounded ring is either a summand or strongly essential. Rings over which no module has a proper strongly essential submodule are characterized. It is also shown that the left Loewy rings are the only rings over which the essential submodules and strongly essential submodules of any left module coincide. Finally, a new characterization of left FBN rings is observed.     

Reduced multiplication modules

An R-module M is called a multiplication module if for each submodule N of M, N = IM for some ideal I of R. As defined for a commutative ring R, an R-module M is said to be reduced if the intersection of prime submodules of M is zero. The prime spectrum and minimal prime submodules of the reduced module M are studied. Essential submodules of M are characterized via a topological property. It is shown that the Goldie dimension of M is equal to the Souslin number of Spec(M)\mbox{\rm Spec}(M). Also a finitely generated module M is a Baer module if and only if Spec(M)\mbox{\rm Spec}(M) is an extremally disconnected space; if and only if it is a CS-module. It is proved that a prime submodule N is minimal in M if and only if for each x ∈ N, Ann(x) \not í (N:M).\mbox{\rm Ann}(x) \not \subseteq (N:M). When M is finitely generated; it is shown that every prime submodule of M is maximal if and only if M is a von Neumann regular module (VNM); i.e., every principal submodule of M is a summand submodule. Also if M is an injective R-module, then M is a VNM.     

On τ-Extending Modules

Motivated by [2] and [6], we introduce a generalization of extending (CS) modules by using the concept of τ-large submodule which was defined in [9]. We give some properties of this class of modules and study their relationship with the familiar concepts of τ-closed, τ-complement submodules and the other generalization of extending modules (τ-complemented, τ-CS, s−τ-CS modules). We are also interested in determining when a τ-divisible module is τ-extending. For a τ-extending module M with C3, we obtain a decomposition theorem that there is a submodule K of M such that M = t(M) ? KM = \tau (M)\,\oplus\,K and K is τ (M)-injective. We also treat when a direct sum of τ-extending modules is τ-extending.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

Strongly compressible modules and semiprime right goldie rings

A module M _R is defined to be strongly compressible (or SC for short) if for every essential submodule N of M, there exists X ? E(M) such that M ? X ? N. We show that a ring R is semiprime right Goldie iff R _Ris SC module iff every right ideal of R is SC module iff every submodule of each progenerator of Mod-R is SC module. As corollaries of this result, we obtain some new module-theoretic characterizations of semiprime Goldie rings, prime (right) Goldie rings and Prüfer rings, etc., etc.,respectively. And the characterization theorem of semiprime Goldie rings of López-Permouth, Rizvi and Yousif by using weakly-injective modules can be regarded as a corollary of our results.     

On Dedekind Modules

In this article the authors give the relation between a finitely-generated torsionfree Dedekind module M over a domain R and prime submodules of the 𝒪(M)-module M and the ring 𝒪(M). They also prove that M is a finitely-generated torsionfree Dedekind module over a domain R if and only if every semi-maximal submodule of R-module M is invertible.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

NOTES ON NILPOTENCY OF NIL SUBRINGS OF ENDOMORPHISM RINGS OF MODULES

Abstract

A family K of right R-modules is called a natural class if K is closed under submodules, direct sums, infective hulls, and isomorphic copies. The main result of this note is the following: Let K be a natural class on Mod-R and M ε K. If M satisfies a.c.c. (or d.c.c.) on the set of submodules {N ? M: M/N ε K}, then each nil subring of End(M_R ) is nilpotent.     

Rigidity of the critical point equation

On a compact n ‐dimensional manifold M, it was shown that a critical point metric g of the total scalar curvature functional, restricted to the space of metrics with constant scalar curvature of volume 1, satisfies the critical point equation ([5], p. 3222). In 1987 Besse proposed a conjecture in his book [1], p. 128, that a solution of the critical point equation is Einstein (Conjecture A, hereafter). Since then, number of mathematicians have contributed for the proof of Conjecture A and obtained many geometric consequences as its partial proofs. However, none has given its complete proof yet. The purpose of the present paper is to prove Theorem 1, stating that a compact 3‐dimensional manifold M is isometric to the round 3‐sphere S³ if ker s^′*_g ≠ 0 and its second homology vanishes. Note that this theorem implies that M is Einstein and hence that Conjecture A holds on a 3‐dimensional compact manifold under certain topological conditions (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Invertible and Dense Submodules

Abstract

In this paper, the authors give a partial characterization of invertible, dense and projective submodules. In the final section, they give the equivalent conditions to be invertible, dense and projective submodules for a given an R-module M. They also provide conditions under which a given ring R is a Dedekind domain if and only if every non zero submodule of an R-module is locally free.     

Saturation on locally compact abelian groups: An extended theorem

Let G be a locally compact abelian group. The concern of the present note is to extend (for exponents p>2) the saturation theorem on G stated as Theorem 4 in [5]. The extension will be established for approximation processes (I_t)_t>0 acting on the submodule C^P(G), p]1,+[, of the convolutionM ¹(G)-module L^P(G) which consists of all functions fL^P(G) admitting as their Fourier transformsF _Gf (in the sense of the theory of quasimeasures) complex Radon measures not necessarily absolutely continuous with respect to any Haar measure on the dual group . Moreover, the relationship of the complex vector spaces C^P(G) to some other function spaces, in particular to the vector spaces B^P(G) introduced in [5], will be investigated.     

Relative purity over noetherian rings

In this note we are going to show that if M is a left module over a left noetherian ring R of the infinite cardinality λ ≥ |R|, then its injective hull E(M) is of the same size. Further, if M is an injective module with |M| ≥ (2^λ)⁺ and K ≤ M is its submodule such that |M/K| ≤ λ, then K contains an injective submodule L with |M/L| ≤ 2^λ. These results are applied to modules which are torsionfree with respect to a given hereditary torsion theory and generalize the results obtained by different methods in author’s previous papers: [A note on pure subgroups, Contributions to General Algebra 12. Proceedings of the Vienna Conference, June 3–6, 1999, Verlag Johannes Heyn, Klagenfurt, 2000, pp. 105–107], [Pure subgroups, Math. Bohem. 126 (2001), 649–652]. This research has been partially supported by the Grant Agency of the Charles University, grant #GAUK 301-10/203115/B-MAT/MFF and also by the institutional grant MSM 113 200 007.     

The Nakayama Property of a Module and Related Concepts

Three related properties of a module are investigated in this article, namely the Nakayama property, the Maximal property, and the S-property. A module M has the Nakayama property if 𝔞M = M for an ideal 𝔞 implies that sM = 0 for some s ∈ 𝔞 + 1. A module M has the Maximal property if there is in M a maximal proper submodule, and finally, M is said to have the S-property if S ^?1 M = 0 for a multiplicatively closed set S implies that sM = 0 for some s ∈ S.