On Prime Submodules of a Finitely Generated Free Module Over a Commutative Ring

In this article, we give a full characterization of prime submodules of a finitely generated free module F over a commutative ring R with identity. Also we study the existence of primary decomposition of a submodule of F and characterize the minimal primary decomposition of this submodule. We also describe the structure of prime submodules of a module over a Dedekind domain.     

Prime and primary submodules of certain modules

In this paper we characterize all prime and primary submodules of the free R-module R ⁿ for a principal ideal domain R and find the minimal primary decomposition of any submodule of R ⁿ . In the case n = 2, we also determine the height of prime submodules.     

Uniformly Classical Primary Submodules

We shall introduce the notion of uniformly classical primary submodule that generalizes the concept of uniformly primary ideal as given by J. A. Cox and A. J. Hetzel. We also advance the companion concepts of fully uniformly classical primary module and uniformly primary compatible module. Along these lines, we present a characterization of Noetherian rings R for which every R-module is fully uniformly classical primary and we present a characterization of rings R for which every finitely generated R-module is uniformly primary compatible. Results illustrating connections among the notions of uniformly classical primary submodule, uniformly primary ideal, and uniformly primary submodule as given by R. Ebrahimi-Atani and S. Ebrahimi-Atani are also provided.     

On finiteness of multiplication modules

Our main aim in this note, is a further generalization of a result due to D. D. Anderson, i.e., it is shown that if R is a commutative ring, and M a multiplication R-module, such that every prime ideal minimal over Ann (M) is finitely generated, then M contains only a finite number of minimal prime submodules. This immediately yields that if P is a projective ideal of R, such that every prime ideal minimal over Ann (P) is finitely generated, then P is finitely generated. Furthermore, it is established that if M is a multiplication R-module in which every minimal prime submodule is finitely generated, then R contains only a finite number of prime ideals minimal over Ann (M).      

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.     

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.     

Some Remarks on Generalized GCD Domains

An integral domain R is a generalized GCD (GGCD) domain if the semigroup of invertible ideals of R is closed under intersection. In this article we extend the definition of PF-prime ideals to GGCD domains and develop a theory of these ideals which allows us to characterize Prüfer and π -domains among GGCD domains. We also introduce the concept of generalized GCD modules as a natural generalization of GGCD domains to the module case. An R-module M is a GGCD module if the set of invertible submodules of M is closed under intersection. We show that an integral domain R is a GGCD domain if and only if a faithful multiplication R-module M is a GGCD module. Various properties and characterizations of faithful multiplication GGCD modules over integral domains are considered and consequently, necessary and sufficient conditions for a ring R(M), the idealization of M, to be a GGCD ring are given.     

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.     

Modules with Noetherian Spectrum

Let M be a module over a commutative ring R. A submodule P of M is called prime if P ≠ M and, whenever r ∈ R, e ∈ M, and re ∈ P, we have rM ? P or e ∈ P. We let Spec(M) denote the set of all prime submodules of M. Using a topology analogous to the Zariski topology for Spec(R), we establish necessary and sufficient conditions for Spec(M) to be a Noetherian space. We produce some examples of modules with Noetherian spectrum that have not appeared in the literature previously. In particular, Laskerian modules and faithfully flat modules over Laskerian rings have Noetherian spectra. (The term Laskerian is defined in Section 3.)     

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.     

Chain conditions in modules with krull dimension

Any ring with Krull dimension satisfies the ascending chain condition on semiprime ideals. This result does not hold more generally for modules. In particular if Ris the first Weyl algebra over a field of characteristic 0 then there are Artinian R-modules which do not satisfy the ascending chain condition on prime submodules. However, if Ris a ring which satisfies a polynomial identity then any R-module with Krull dimension satisfies the ascending chain condition on prime submodules, and, if Ris left Noethe-rian, also the ascending chain condition on semiprime submodules.     

Extending modules relative to a torsion theory

An R-module M is said to be an extending module if every closed submodule of M is a direct summand. In this paper we introduce and investigate the concept of a type 2 τ-extending module, where τ is a hereditary torsion theory on Mod-R. An R-module M is called type 2 τ-extending if every type 2 τ-closed submodule of M is a direct summand of M. If τ _I is the torsion theory on Mod-R corresponding to an idempotent ideal I of R and M is a type 2 τ _I -extending R-module, then the question of whether or not M/MI is an extending R/I-module is investigated. In particular, for the Goldie torsion theory τ _G we give an example of a module that is type 2 τ _G -extending but not extending.     

Ideals,Natural Classes,and Functors

For any ring R, the set 𝒩(R) of all natural classes of R-modules is a complete Boolean lattice, which is a direct sum of two convex and complete Boolean sublattices 𝒩(R) = 𝒩 _t (R) ⊕ 𝒩 _f (R), where the last summand is the set of all nonsingular natural classes. The ring R contains a unique lattice of ideals 𝒥(R) which is lattice isomorphic to 𝒩 _f (R). The present note develops the analogue of all of the above for an arbitrary R-module M, so that in the special case when M _R  = R _R , the known lattice isomorphism 𝒥(R) ? 𝒩 _f (R) is recovered.     

On the prime radical and Baer’s lower nilradical of modules

Let M be a left R-module. In this paper a generalization of the notion of m-system set of rings to modules is given. Then for a submodule N of M, we define := { m ε M: every m-system containing m meets N}. It is shown that is the intersection of all prime submodules of M containing N. We define rad _R (M) = . This is called Baer-McCoy radical or prime radical of M. It is shown that if M is an Artinian module over a PI-ring (or an FBN-ring) R, then M/rad _R (M) is a Noetherian R-module. Also, if M is a Noetherian module over a PI-ring (or an FBN-ring) R such that every prime submodule of M is virtually maximal, then M/rad _R (M) is an Artinian R-module. This yields if M is an Artinian module over a PI-ring R, then either rad _R (M) = M or rad _R (M) = ∩ _i=1 ⁿ for some maximal ideals of R. Also, Baer’s lower nilradical of M [denoted by Nil_* ( _R M)] is defined to be the set of all strongly nilpotent elements of M. It is shown that, for any projective R-module M, rad _R (M) = Nil_*( _R M) and, for any module M over a left Artinian ring R, rad _R (M) = Nil_*( _R M) = Rad(M) = Jac(R)M. This research was in part supported by a grant from IPM (No. 85130016). Also this work was partially supported by IUT (CEAMA). The author would like to thank the anonymous referee for a careful checking of the details and for helpful comments that improved this paper.     

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.     

Strongly Prime Submodules

Let R be a commutative ring with identity. For an R-module M, the notion of strongly prime submodule of M is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of prime ideal. In particular, the Generalized Principal Ideal Theorem is extended to modules.