A classification of multiplication modules over multiplication rings with finitely many minimal primes is obtained. A characterization of multiplication rings with finitely many minimal primes is given via faithful, Noetherian, distributive modules. It is proven that for a multiplication ring with finitely many minimal primes every faithful, Noetherian, distributive module is a faithful multiplication module, and vice versa.

Let $R\subset S$ be an extension of integral domains, with $R^{\ast }$ the integral closure of $R$ in $S$ . We study the set of intermediate rings between $R$ and $S$ . We establish several necessary and sufficient conditions for which every ring contained between $R$ and $S$ compares with $R^{\ast }$ under inclusion. This answers a key question that figured in the work of Gilmer and Heinzer [‘Intersections of quotient rings of an integral domain’, J. Math. Kyoto Univ.7 (1967), 133–150].

We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence, we are able to prove a generalization of a result of Reid, Roberts and Vitulli in the setting of analytically unramified local rings for completeness of power products of complete ideals.

The annihilating-ideal graph of a commutative ring $R$, denoted by $\mathbb{A}\mathbb{G}\left( R \right)$, is a graph whose vertex set consists of all non-zero annihilating ideals and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ\,=\,\left( 0 \right)$. Here we show that if $R$ is a reduced ring and the independence number of $\mathbb{A}\mathbb{G}\left( R \right)$ is finite, then the edge chromatic number of $\mathbb{A}\mathbb{G}\left( R \right)$ equals its maximum degree and this number equals ${{2}^{\left| \min \left( R \right) \right|-1}}-\,1$; also, it is proved that the independence number of $\mathbb{A}\mathbb{G}\left( R \right)$ equals ${{2}^{\left| \min \left( R \right) \right|-1}}$, where $\min \left( R \right)$ denotes the set of minimal prime ideals of $R$. Then we give some criteria for a graph to be isomorphic with an annihilating-ideal graph of a ring. For example, it is shown that every bipartite annihilating-ideal graph is a complete bipartite graph with at most two horns. Among other results, it is shown that a finite graph $\mathbb{A}\mathbb{G}\left( R \right)$ is not Eulerian, and that it is Hamiltonian if and only if $R$ contains no Gorenstain ring as its direct summand.

We introduce and investigate the notion of envelope dimension of commutative rings and modules over them. In particular, we show that the envelope dimension of a ring, $R$, is equal to that of the $R$-module ${{\mathbb{R}}^{\left( \mathbb{N} \right)}}$. We also prove that the Krull dimension of a ring is no more than its envelope dimension and characterize Noetherian rings for which these two dimensions are equal. Moreover, we generalize and study the concept of simplified radical formula for modules, which we defined in an earlier paper.

Let A be a local Noetherian domain of Krull dimension d. Heinzer, Rotthaus, and Sally have shown that if the generic formal fiber of A has dimension d – 1, then A is birationally dominated by a 1-dimensional analytically ramified local Noetherian ring having residue field finite over the residue field of A. We explore further this correspondence between prime ideals in the generic formal fiber and 1-dimensional analytically ramified local rings. Our main focus is on the case where the analytically ramified local rings are stable, and we show that in this case the embedding dimension of the stable ring reflects the embedding dimension of a prime ideal maximal in the generic formal fiber, thus providing a measure of how far the generic formal fiber deviates from regularity. A number of characterizations of analytically ramified local stable domains are also given.

The class of $\mathfrak{m}$-full and four related classes of ideals in a local ring (R, $\mathfrak{m}$) are extended by replacing $\mathfrak{m}$ with other ideals and the resulting classes of ideals are compared. It is shown that contracted ideals are $\mathfrak{m}$-full in a local ring with infinite residue field.

Let $R$ be a commutative ring. The regular digraph of ideals of $R$, denoted by $\Gamma (R)$, is a digraph whose vertex set is the set of all nontrivial ideals of $R$ and, for every two distinct vertices $I$ and $J$, there is an arc from $I$ to $J$ whenever $I$ contains a nonzero divisor on $J$. In this paper, we study the connectedness of $\Gamma (R)$. We also completely characterise the diameter of this graph and determine the number of edges in $\Gamma (R)$, whenever $R$ is a finite direct product of fields. Among other things, we prove that $R$ has a finite number of ideals if and only if $\mathrm {N}_{\Gamma (R)}(I)$ is finite, for all vertices $I$ in $\Gamma (R)$, where $\mathrm {N}_{\Gamma (R)}(I)$ is the set of all adjacent vertices to $I$ in $\Gamma (R)$.

Let $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$. We call $M$$\text{H}$-smaller ($\text{HS}$ for short) if and only if $M$ is infinite and $\left| M/N \right|\,<\,\,\left| M \right|$ for every nonzero submodule $N$ of $M$. After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: suppose $M$ is faithful over $R$, $R$ is a domain (we will show that we can restrict to this case without loss of generality), and $K$ is the quotient field of $R$. If $M$ is $\text{HS}$ over $R$, then $R$ is $\text{HS}$ as a module over itself, $R\,\subseteq \,M\,\subseteq \,K$, and there exists a generating set $S$ for $M$ over $R$ with $\left| S \right|\,<\,\left| R \right|$. We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on Jónsson modules.

Let $\mathfrak{a}$ be an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules. Our main result asserts that if $R/\mathfrak{a}\,\le \,1$, then all generalized local cohomology modules $H_{\mathfrak{a}}^{i}(M,\,N)$ are $\mathfrak{a}$-cofinite.

Let R be a commutative ring with identity. We will say that an R-module M has Nakayama property, if IM = M, where I is an ideal of R, implies that there exists a ∈ R such that aM = 0 and a − 1 ∈ I. Nakayama's Lemma is a well-known result, which states that every finitely generated R-module has Nakayama property. In this paper, we will study Nakayama property for modules. It is proved that R is a perfect ring if and only if every R-module has Nakayama property (Theorem 4.9).

Let B be a submodule of an R-module M. The intersection of all prime (resp. weakly prime) submodules of M containing B is denoted by rad(B) (resp. wrad(B)). A generalisation of 〈E(B)〉 denoted by UE(B) of M will be introduced. The inclusions 〈E(B)〉 ⊆ UE(B) ⊆ wrad(B) ⊆ rad(B) are motivations for studying the equalities UE(B) = wrad(B) and UE(B) = rad(B) in this paper. It is proved that if R is an arithmetical ring, then UE(B) = wrad(B). In Theorem 2.5, a generalisation of the main result of [11] is given.

This paper deals with the concepts of condensed and strongly condensed domains. By definition, an integral domain $R$ is condensed (resp. strongly condensed) if each pair of ideals $I$ and $J$ of $R$, $IJ\,=\,\{ab/a\,\in \,I,\,b\,\in \,J\}$ (resp. $IJ\,=\,aJ$ for some $a\,\in \,I\,or\,I\,J\,=\,Ib$ for some $b\,\in \,J$). More precisely, we investigate the ideal theory of condensed and strongly condensed domains in Noetherian-like settings, especially Mori and strong Mori domains and the transfer of these concepts to pullbacks.

A proper ideal I of a ring R is said to be strongly irreducible if for each pair of ideals A and B of R, implies that either or . In this paper we study strongly irreducible ideals in different rings. The relations between strongly irreducible ideals of a ring and strongly irreducible ideals of localizations of the ring are also studied. Furthermore, a topology similar to the Zariski topology related to strongly irreducible ideals is introduced. This topology has the Zariski topology defined by prime ideals as one of its subspace topologies.

A proper submodule $N$ of an $R$-module $M$ is called a weakly prime submodule, if for each submodule $K$ of $M$ and elements $a, b$ of $R$, $abK \subseteq N$, implies that $aK\subseteq N$ or $bK\subseteq N$. In this paper we will study weakly prime submodules and we shall compare weakly prime submodules with prime submodules.

This work is concerned with the question of when a von Neumann regular ring is expressible as a directed union of Artinian subrings.

Let $R$ be a commutative Noetherian integral domain with field of fractions $Q$. Generalizing a forty-year-old theorem of E. Matlis, we prove that the $R$-module $Q/R$ (or $Q$) has Krull dimension if and only if $R$ is semilocal and one-dimensional. Moreover, if $X$ is an injective module over a commutative Noetherian ring such that $X$ has Krull dimension, then the Krull dimension of $X$ is at most 1.

Let $\mathcal{H}$ be a complex separable Hilbert space and $\mathcal{L}\left( \mathcal{H} \right)$ denote the collection of bounded linear operators on $\mathcal{H}$. An operator $A$ in $\mathcal{L}\left( \mathcal{H} \right)$ is said to be strongly irreducible, if ${{\mathcal{A}}^{\prime }}(T)$, the commutant of $A$, has no non-trivial idempotent. An operator $A$ in $\mathcal{L}\left( \mathcal{H} \right)$ is said to be a Cowen-Douglas operator, if there exists $\Omega $, a connected open subset of $C$, and $n$, a positive integer, such that

1. (a)

   $$\Omega \,\subset \,\sigma (A)\,=\,\left\{ z\,\in \,C|\,A-z\,\text{not}\,\text{invertible} \right\};$$

2. (b)

   $$\text{ran(A}-z\text{)}\,\text{=}\,\mathcal{H}\text{,}\,\text{for}\,z\,\text{in}\,\Omega \text{;}$$

3. (c)

   $${{\vee }_{z\in \Omega }}\,\ker (A-\,z)\,=\,\mathcal{H}\,\text{and}$$

4. (d)

   $$\dim\,\ker (A-z)\,=\,n\,\text{for}\,z\,\text{in}\,\Omega $$

In the paper, we give a similarity classification of strongly irreducible Cowen-Douglas operators by using the ${{K}_{0}}$-group of the commutant algebra as an invariant.

For a domain A containing a field k with tr.degkA < ∞, we define a new transcendence degree of A with respect to k, which is denoted by tdkA. By using this, we generalize the theorem that for every affine domain A over a field k it holds that dim A = tr.degkA. For example, we show that if A is a quasi-local domain containing a field k with dim A = tdkA < ∞, then for every Noetherian local k-subalgebra R of A it holds that dim R = tdkR. Moreover we also generalize the theorem due to Gilmer, Nashier and Nichols.

In this paper we obtain several new characterizations of modules having small cofinite irreducibles. One of these characterizations involves a metric topology defined on the submodule lattice.