Source author record

Mahmood Behboodi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
3topics
4close collaborators

Published work

14 publications

preprint2022arXiv

ΣΣ-semi-compact rings and modules

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property ΣΣ-semi-compact for modules and we characterize the modules satisfying this property. In particular, we show that a ring RR is left ΣΣ-semi-compact if and only if RR satisfies the ascending (resp. descending) chain condition on the left (resp. right) annulets. Moreover, we prove that every flat left RR-module is semi-compact if and only if RR is left ΣΣ-semi-compact. We also show that a ring RR is left Noetherian if and only if every pure projective left RR-module is semi-compact. Finally, we consider rings whose flat modules are finitely (singly) projective. For any commutative arithmetical ring RR with quotient ring QQ, we prove that every flat RR-module is semi-compact if and only if every flat RR-module is finitely (singly) projective if and only if QQ is pure semisimple. A similar result is obtained for reduced commutative rings RR with the space Min R\mathrm{Min}\ R compact. We also prove that every (ℵ0,1)(\aleph_{0},1)-flat left RR-module is singly projective if RR is left ΣΣ-semi-compact, and the converse holds if RNR^{\mathbb{N}} is an (ℵ0,1)(\aleph_{0},1)-flat left RR-module.

preprint2016arXiv

Two Generalizations of the Wedderburn-Artin Theorem with Applications

We say that an RR-module MM is {\it virtually simple} if M≠(0)M\neq (0) and N≅MN\cong M for every non-zero submodule NN of MM, and {\it virtually semisimple} if each submodule of MM is isomorphic to a direct summand of MM. We carry out a study of virtually semisimple modules and modules which are direct sums of virtually simple modules. Our theory provides two natural generalizations of the Wedderburn-Artin Theorem and an analogous to the classical Krull-Schmidt Theorem. Some applications of these theorems are indicated. For instance, it is shown that the following statements are equivalent for a ring RR: (i) Every finitely generated left (right) RR-modules is virtually semisimple; (ii) Every finitely generated left (right) RR-modules is a direct sum of virtually simple modules; (iii) R≅∏i=1kMni(Di)R\cong\prod_{i=1}^{k} M_{n_i}(D_i) where k,n1,…,nk∈Nk, n_1,\ldots,n_k\in \Bbb{N} and each DiD_i is a principal ideal V-domain; and {\rm (iv)} Every non-zero finitely generated left RR-module can be written uniquely (up to isomorphism and order of the factors) in the form Rm1⊕…⊕Rmk Rm_1 \oplus\ldots\oplus Rm_k where each RmiRm_i is either a simple RR-module or a left virtually simple direct summand of RR.

preprint2016arXiv

Virtually Semisimple Modules and a Generalization of the Wedderburn-Artin Theorem

By any measure, semisimple modules form one of the most important classes of modules and play a distinguished role in the module theory and its applications. One of the most fundamental results in this area is the Wedderburn-Artin theorem. In this paper, we establish natural generalizations of semisimple modules and give a generalization of the Wedderburn-Artin theorem. We study modules in which every submodule is isomorphic to a direct summand and name them {\it virtually semisimple modules}. A module RM_RM is called {\it completely virtually semisimple} if each submodules of MM is a virtually semisimple module. A ring RR is then called {\it left} ({\it completely}) {\it virtually semisimple} if RR_RR is a left (compleatly) virtually semisimple RR-module. Among other things, we give several characterizations of left (completely) virtually semisimple rings. For instance, it is shown that a ring RR is left completely virtually semisimple if and only if R≅∏i=1kMni(Di)R \cong \prod _{i=1}^ k M_{n_i}(D_i) where k,n1,...,nk∈Nk, n_1, ...,n_k\in \Bbb{N} and each DiD_i is a principal left ideal domain. Moreover, the integers k, n1,...,nkk,~ n_1, ...,n_k and the principal left ideal domains D1,...,DkD_1, ...,D_k are uniquely determined (up to isomorphism) by RR.

preprint2015arXiv

Noetherian Rings Whose Annihilating-Ideal Graphs Have finite Genus

Let RR be a commutative ring and A(R){\Bbb{A}}(R) be the set of ideals with non-zero annihilators. The annihilating-ideal graph of RR is defined as the graph AG(R){\Bbb{AG}}(R) with vertex set A(R)∗=A∖{(0)}{\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\} such that two distinct vertices II and JJ are adjacent if and only if IJ=(0)IJ=(0). We characterize commutative Noetherian rings RR whose annihilating-ideal graphs have finite genus γ(AG(R))γ(\Bbb{AG}(R)). It is shown that if RR is a Noetherian ring such that 0<γ(AG(R))<∞0<γ(\Bbb{AG}(R))<\infty, then RR has only finitely many ideals.

preprint2013arXiv

Commutative Local Rings whose Ideals are Direct Sums of Cyclic Modules

A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring RR has the property that every RR-module is a direct sum of cyclic modules if and only if RR is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in [M. Behboodi, A. Ghorbani, A. Moradzadeh-Dehkordi, Commutative Noetherian local rings whose ideals are direct sums of cyclic modules, J. Algebra 345 (2011) 257--265] the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.

preprint2012arXiv

Modules Satisfying the Prime Radical Condition and a Sheaf Construction for Modules I

The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring RR, called P\mathbb{P}-radical modules (modules MM satisfying the prime radical condition "(PMp:M)=P(\sqrt[p]{\cal{P}M}:M)={\cal{P}}" for every prime ideal P⊇Ann(M){\cal{P}}\supseteq {\rm Ann}(M), where PMp\sqrt[p]{\cal{P}M} is the intersection of all prime submodules of MM containing PM{\cal{P}}M). This class contains the family of primeful modules properly. This yields that over any ring all free modules and all finitely generated modules lie in the class of P\mathbb{P}-radical modules. Also, we show that if RR is a domain (or a Noetherian ring), then all projective modules are P\mathbb{P}-radical. In particular, if RR is an Artinian ring, then all RR-modules are P\mathbb{P}-radical and the converse is also true when RR is a Noetherian ring. Also an RR-module MM is called M\mathbb{M}-radical if (MMp:M)=M(\sqrt[p]{\cal{M}M}:M)={\cal{M}}; for every maximal ideal M⊇Ann(M){\cal{M}}\supseteq {\rm Ann}(M). We show that the two concepts P\mathbb{P}-radical and M\mathbb{M}-radical are equivalent for all RR-modules if and only if RR is a Hilbert ring. Semisimple P\mathbb{P}-radical (M\mathbb{M}-radical) modules are also characterized. In Part II we shall continue the study of this construction, and as an application, we show that the sheaf theory of spectrum of P\mathbb{P}-radical modules (with the Zariski topology) resembles to that of rings.

preprint2012arXiv

Modules Satisfying the Prime Radical Condition and a Sheaf Construction for Modules II

In this paper we continue our study of modules satisfying the prime radical condition (P\mathbb{P}-radical modules), that was introduced in Part I (see \cite{BS}). Let RR be a commutative ring with identity. The purpose of this paper is to show that the theory of spectrum of P\mathbb{P}-radical RR-modules (with the Zariski topology) resembles to that of rings. First, we investigate the behavior of P\mathbb{P}-radical modules under localization and direct sums. Finally, we describe the construction of a structure sheaf on the prime spectrum Spec(M)(M), which generalizes the classical structure sheaf of the ring RR in Algebraic Geometry to the module MM.

preprint2012arXiv

Modules Whose Classical Prime Submodules Are Intersections of Maximal Submodules

Commutative rings in which every prime ideal is the intersection of maximal ideals are called Hilbert (or Jacobson) rings. We propose to define classical Hilbert modules by the property that {\it classical prime} submodules are the intersection of maximal submodules. It is shown that all co-semisimple modules as well as all Artinian modules are classical Hilbert modules. Also, every module over a zero-dimensional ring is classical Hilbert. Results illustrating connections amongst the notions of classical Hilbert module and Hilbert ring are also provided. Rings RR over which all RR-modules are classical Hilbert are characterized. Furthermore, we determine the Noetherian rings RR for which all finitely generated RR-modules are classical Hilbert.

preprint2012arXiv

On Commutative Rings Whose Prime Ideals Are Direct Sums of Cyclics

In this paper we study commutative rings RR whose prime ideals are direct sums of cyclic modules. In the case RR is a finite direct product of commutative local rings, the structure of such rings is completely described. In particular, it is shown that for a local ring (R,M)(R, \cal{M}), the following statements are equivalent: (1) Every prime ideal of RR is a direct sum of cyclic RR-modules; (2) M=⨁λ∈ΛRwλ{\cal{M}}=\bigoplus_{λ\in Λ}Rw_λ and R/Ann(wλ)R/{\rm Ann}(w_λ) is a principal ideal ring for each λ∈Λλ\in Λ;(3) Every prime ideal of RR is a direct sum of at most ∣Λ∣|Λ| cyclic RR-modules; and (4) Every prime ideal of RR is a summand of a direct sum of cyclic RR-modules. Also, we establish a theorem which state that, to check whether every prime ideal in a Noetherian local ring (R,M)(R, \cal{M}) is a direct sum of (at most nn) principal ideals, it suffices to test only the maximal ideal M\cal{M}.

preprint2012arXiv

On rings each of whose finitely generated modules is a direct sum of cyclic modules

In this paper we study (non-commutative) rings RR over which every finitely generated left module is a direct sum of cyclic modules (called left FGC-rings). The commutative case was a well-known problem studied and solved in 1970s by various authors. It is shown that a Noetherian local left FGC-ring is either an Artinian principal left ideal ring, or an Artinian principal right ideal ring, or a prime ring over which every two-sided ideal is principal as a left and a right ideal. In particular, it is shown that a Noetherian local duo-ring RR is a left FGC-ring if and only if RR is a right FGC-ring, if and only if, RR is a principal ideal ring. Moreover, we obtain that if R=Πi=1nRiR=Π_{i=1}^n R_i is a finite product of Noetherian duo-rings RiR_i where each RiR_i is prime or local, then RR is a left FGC-ring if and only if RR is a principal ideal ring.each RiR_i is prime or local, then RR is a left FGC-ring if and only if RR is a principal ideal ring.

preprint2012arXiv

Prime M-Ideals, M-Prime Submodules, M-Prime Radical and M-Baer's Lower Nilradical of Modules

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, which coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-m-system sets, M-n-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "prime M-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfes condition H (defined latter) and Hom_R(M,X)\neq 0$ for all modules X in the category σ[M], then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in σ[M] and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

preprint2011arXiv

Rings Whose Annihilating-Ideal Graphs Have Positive Genus

Let RR be a commutative ring and A(R){\Bbb{A}}(R) be the set of ideals with non-zero annihilators. The annihilating-ideal graph of RR is defined as the graph AG(R){\Bbb{AG}}(R) with the vertex set A(R)∗=A∖{(0)}{\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\} and two distinct vertices II and JJ are adjacent if and only if IJ=(0)IJ=(0). We investigate commutative rings RR whose annihilating-ideal graphs have positive genus γ(AG(R))γ(\Bbb{AG}(R)). It is shown that if RR is an Artinian ring such that γ(AG(R))<∞γ(\Bbb{AG}(R))<\infty, then RR has finitely many ideals or (R,m)(R,\mathfrak{m}) is a Gorenstein ring with maximal ideal m\mathfrak{m} and v.dimR/mm/m2=2{\rm v.dim}_{R/{\mathfrak{m}}}{\mathfrak{m}}/{\mathfrak{m}}^{2}=2. Also, for any two integers g≥0g\geq 0 and q>0q>0, there are finitely many isomorphism classes of Artinian rings RR satisfying the conditions: (i) γ(AG(R))<gγ(\Bbb{AG}(R)) < g and (ii) ∣R/m∣≤q|R/{\mathfrak{m}}| \leq q for every maximal ideal m{\mathfrak{m}} of RR. Also, it is shown that if RR is a non-domain Noetherian local ring such that γ(AG(R))<∞γ(\Bbb{AG}(R))<\infty, then either RR is a Gorenstein ring or RR is an Artinian ring with finitely many ideals.

preprint2011arXiv

The Annihilating-Ideal Graph of Commutative Rings I

Let RR be a commutative ring with A(R){\Bbb{A}}(R) its set of ideals with nonzero annihilator. In this paper and its sequel, we introduce and investigate the {\it annihilating-ideal graph} of RR, denoted by AG(R){\Bbb{AG}}(R). It is the (undirected) graph with vertices A(R)∗:=A(R)∖{(0)}{\Bbb{A}}(R)^*:={\Bbb{A}}(R)\setminus\{(0)\}, and two distinct vertices II and JJ are adjacent if and only if IJ=(0)IJ=(0). First, we study some finiteness conditions of AG(R){\Bbb{AG}}(R). For instance, it is shown that if RR is not a domain, then AG(R){\Bbb{AG}}(R) has ACC (resp., DCC) on vertices if and only if RR is Noetherian (resp., Artinian). Moreover, the set of vertices of AG(R){\Bbb{AG}}(R) and the set of nonzero proper ideals of RR have the same cardinality when RR is either an Artinian or a decomposable ring. This yields for a ring RR, AG(R){\Bbb{AG}}(R) has nn vertices (n≥1)(n\geq 1) if and only if RR has only nn nonzero proper ideals. Next, we study the connectivity of AG(R){\Bbb{AG}}(R). It is shown that AG(R){\Bbb{AG}}(R) is a connected graph and diam(AG)(R)≤3diam(\Bbb{AG})(R)\leq 3 and if AG(R){\Bbb{AG}}(R) contains a cycle, then gr(AG(R))≤4gr({\Bbb{AG}}(R))\leq 4. Also, rings RR for which the graph AG(R){\Bbb{AG}}(R) is complete or star, are characterized, as well as rings RR for which every vertex of AG(R){\Bbb{AG}}(R) is a prime (or maximal) ideal. In Part II we shall study the diameter and coloring of annihilating-ideal graphs.

preprint2011arXiv

The Annihilating-Ideal Graph of Commutative Rings II

In this paper we continue our study of annihilating-ideal graph of commutative rings, that was introduced in Part I (see [5]). Let RR be a commutative ring with A(R){\Bbb{A}}(R) its set of ideals with nonzero annihilator and Z(R)Z(R) its set of zero divisors. The annihilating-ideal graph of RR is defined as the (undirected) graph AG(R){\Bbb{AG}}(R) that its vertices are A(R)∗=A(R)∖{(0)}\Bbb{A}(R)^* =\Bbb{A}(R)\hspace{-1mm}\setminus\{(0)\} in which for every distinct vertices II and JJ, I−−−JI\hspace{-0.6mm}-\hspace{-1.7mm}-\hspace{-1.7mm}-\hspace{-0.5mm}J is an edge if and only if IJ=(0)IJ=(0). First, we study the diameter of AG(R){\Bbb{AG}}(R). A complete characterization for the possible diameter is given exclusively in terms of the ideals of RR when either RR is a Noetherian ring or Z(R)Z(R) is not an ideal of RR. Next, we study coloring of annihilating-ideal graphs. Among other results, we characterize when either χ(AG(R))≤2χ({\Bbb{AG}}(R))\leq 2 or RR is reduced and χ(AG(R))≤∞χ({\Bbb{AG}}(R))\leq \infty. Also it is shown that for each reduced ring RR, χ(AG(R))=cl(AG(R))χ(\Bbb{AG}(R))= cl(\Bbb{AG}(R)). Moreover, if χ(AG(R))χ(\Bbb{AG}(R)) is finite, then RR has a finite number of minimal primes, and if nn is this number, then χ(AG(R))=cl(AG(R))=nχ(\Bbb{AG}(R))= cl(\Bbb{AG}(R))= n. Finally, we show that for a Noetherian ring RR, cl(AG(R))cl(\Bbb{AG}(R)) is finite if and only if for every ideal II of RR with I2=(0)I^2=(0), II has finite number of RR-submodules.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.