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 $R^{(\mathbb{N})}$. Also we 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 $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$. We call $M$ H-smaller (HS for short) if and only if $M$ is infinite and $|M/N|<|M|$ 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 HS over $R$, then $R$ is HS as a module over itself, $R\subseteq M\subseteq K$, and there exists a generating set $S$ for $M$ over $R$ with $|S|<|R|$. 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 $\dim R/\mathfrak a\leq 1$, then all generalized local cohomology modules $H^i_{\mathfrak a}(M,N)$ are $\mathfrak a$-cofinite.

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 $IJ=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.

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