On weakly prime radical of modules and semi-compatible modules

Summary Let M be a left R-module. Then a proper submodule P of M is called weakly prime submodule if for any ideals A and B of R and any submodule N of M such that ABN ⊆ P, we have AN ⊆ P or BN ⊆ P. We define weakly prime radicals of modules and show that for Ore domains, the study of weakly prime radicals of general modules reduces to that of torsion modules. We determine the weakly prime radical of any module over a commutative domain R with dim (R) ≦ 1. Also, we show that over a commutative domain R with dim (R) ≦ 1, every semiprime submodule of any module is an intersection of weakly prime submodules. Localization of a module over a commutative ring preserves the weakly prime property. An R-module M is called semi-compatible if every weakly prime submodule of M is an intersection of prime submodules. Also, a ring R is called semi-compatible if every R-module is semi-compatible. It is shown that any projective module over a commutative ring is semi-compatible and that a commutative Noetherian ring R is semi-compatible if and only if for every prime ideal B of R, the ring R/\B is a Dedekind domain. Finally, we show that if R is a UFD such that the free R-module R⊕ R is a semi-compatible module, then R is a Bezout domain.     

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.     

Idealization and Theorems of D. D. Anderson

All rings are commutative with identity and all modules are unital. Anderson proved that a submodule N of an R-module M is multiplication (resp. join principal) if and only if 0₍₊₎ N is a multiplication (resp. join principal) ideal or R(M). The idealization of M. In this article we develop more fully the tool of idealization of a module, particularly in the context of multiplication modules, generalizing Anderson's theorems and discussing the behavior under idealization of some ideals and some submodules associated with a module.     

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.     

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.     

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.     

δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

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 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.     

On dual of square free modules

A module M is said to be square free if whenever its submodule is isomorphic to N² = N⊕N for some module N, then N = 0. Dually, a module M is said to be d-square free (dual square free) if whenever its factor module is isomorphic to N² for some module N, then N = 0. In this paper, we give some fundamental properties of d-square free modules and study rings whose d-square free modules are closed under submodules or essential extensions.     

Quotient finite dimensional modules with acc on subdirectly irreducible submodules are noetherian

A right R-module M is (Goldie) finite dimensional (= f.d.) if M contains no infinite direct sums of submodules.M is quotient f.d. (= q.f.d.) if M/K is f.d. for all submodules K.A submodule I of M is subdirectly irreducible (= SDI) if V is the intersection of all submodules S _α of M that properly contain I, then V ≠ I, equivalentlyM/I has simple essential socle V/I. A theorem of Shock [74] states that a q.f.d. right module M is Noether-ian iff every proper submodule of M is contained in a maximal submodule. Camillo [77], proved a companion theorem: M is q.f.d. iff every submodule A ≠ 0 contains a finitely generated (= f.g) submodule S such that A/S has no maximal submodules. Using these two results, and an idea of Camillo [75], we prove the theorem stated in the title.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

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.     

Copolyform Modules

Abstract

In this note all rings R are associative with identity, all modules are unitary right modules and we denote the category of all such R-modules by Mod-R. Let M ? Mod-R and A ? M. Corational submodules of A in M are defined and studied. Examples of modules M for which every submodule has a smallest corational submodule in M and an example of a module M with a submodule A which has no minimal corational submodule in M are given. In the second half of the paper copolyform modules are defined and we characterize when a finite direct sum of weakly supplemented copolyform modules is copolyform.     

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.     

Equivalence of quotient Hilbert modules

LetM be a Hilbert module of holomorphic functions over a natural function algebraA(Ω), where Ω ⊆ ℂ ^m is a bounded domain. LetM ₀ ⊆M be the submodule of functions vanishing to orderk on a hypersurfaceZ ⊆ Ω. We describe a method, which in principle may be used, to construct a set of complete unitary invariants for quotient modulesQ =M ⊖M ₀ The invariants are given explicitly in the particular case ofk = 2.     

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.     

Catenary Modules

We generalise the concept of catenary rings to modules. We call an A-module M catenary if for each pair of prime submodules K and L of M with K ⊂ L all saturated chains of prime submodules of M from K to L have a common finite length. We show that any finitely generated module over a PID is catenary and also being catenary is a local property. Moreover, we prove that when A is a one dimensional Noetherian domain, then A is a Dedekind domain if and only if every finitely generated torsion-free A-module is catenary. This revised version was published online in June 2006 with corrections to the Cover Date.     

A module as a torsion-free cover

LetR be a ring, and let (ℐ, ℱ) be an hereditary torsion theory of leftR-modules. An epimorphism ψ:M→X is called a torsion-free cover ofX if (1)M∈ ℱ, (2) every homomorphism from a torsion-free module intoX can be factored throughM, and (3) ker ψ contains no nonzero ℐ -closed submodules ofM. Conditions onM andN are studied to determine when the natural mapsM→M/N andQ(M)→Q(M)/N are torsion-free covers, whenQ(M) is the localization ofM with respect to (ℐ, ℱ). IfM→M/N is a torsion-free cover andM is projective, thenN⊆radM. Consequently, the concepts of projective cover and torsion-free cover coincide in some interesting cases.