Let $R$ be a ring, $n$ a fixed non-negative integer, $𝒲ℐ$ the class of all left $R$-modules with weak injective dimension at most $n$, and $𝒲ℱ$ the class of all right $R$-modules with weak flat dimension at most $n$. Using left (right) $𝒲ℐ$-resolutions and the left derived functors of Hom we study the weak injective dimensions of modules and rings. Also we prove that $-\otimes -$ is right balanced on ${ℳ}_R\times {}_Rℳ$ by $𝒲ℱ\times 𝒲ℐ$, and investigate the global right $𝒲ℐ$-dimension of ${}_Rℳ$ by right derived functors of $\otimes$.

Let $R$ be a ring. A subclass $𝒯$ of left $R$-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. Then a left $R$-module $M$ is called $𝒯$-finitely generated if there exists a finitely generated submodule $N$ such that $M/N\in 𝒯$; a left $R$-module $A$ is called $(𝒯,n)$-presented if there exists an exact sequence of left $R$-modules $$0⟶K_{n-1}⟶F_{n-1}⟶\cdots ⟶F_1⟶F_0⟶M⟶0$$ such that $F_0,\cdots ,F_{n-1}$ are finitely generated free and $K_{n-1}$ is $𝒯$-finitely generated;...

A QTAG-module $M$ is an $\alpha$-module, where $\alpha$ is a limit ordinal, if $M/H_{\beta }\left(M\right)$ is totally projective for every ordinal $\beta <\alpha$. In the present paper $\alpha$-modules are studied with the help of $\alpha$-pure submodules, $\alpha$-basic submodules, and $\alpha$-large submodules. It is found that an $\alpha$-closed $\alpha$-module is an $\alpha$-injective. For any ordinal $\omega \le \alpha \le {\omega }_1$ we prove that an $\alpha$-large submodule $L$ of an ${\omega }_1$-module $M$ is summable if and only if $M$ is summable.

Let $R$ and $S$ be commutative rings with identity, $J$ be an ideal of $S$, $f:R\to S$ be a ring homomorphism, $M$ be an $R$-module, $N$ be an $S$-module, and let $\varphi :M\to N$ be an $R$-homomorphism. The amalgamation of $R$ with $S$ along $J$ with respect to $f$ denoted by $R{\bowtie }^{f}J$ was introduced by M. D’Anna et al. (2010). Recently, R. El Khalfaoui et al. (2021) introduced a special kind of $\left(R{\bowtie }^{f}J\right)$-module called the amalgamation of $M$ and $N$ along $J$ with respect to $\varphi$, and denoted by $M{\bowtie }^{\varphi }JN$. We study some homological properties of the $\left(R{\bowtie }^{f}J\right)$-module $M{\bowtie }^{\varphi }JN$. Among...

Let $n,d$ be two non-negative integers. A left $R$-module $M$ is called $(n,d)$-injective, if ${\mathrm{Ext}}^{d+1}(N,M)=0$ for every $n$-presented left $R$-module $N$. A right $R$-module $V$ is called $(n,d)$-flat, if ${\mathrm{Tor}}_{d+1}(V,N)=0$ for every $n$-presented left $R$-module $N$. A left $R$-module $M$ is called weakly $n$-$FP$-injective, if ${\mathrm{Ext}}^n(N,M)=0$ for every $(n+1)$-presented left $R$-module $N$. A right $R$-module $V$ is called weakly $n$-flat, if ${\mathrm{Tor}}_n(V,N)=0$ for every $(n+1)$-presented left $R$-module $N$. In this paper, we give some characterizations and properties of $(n,d)$-injective modules and $(n,d)$-flat modules in...

We investigate some properties of $n$-submodules. More precisely, we find a necessary and sufficient condition for every proper submodule of a module to be an $n$-submodule. Also, we show that if $M$ is a finitely generated $R$-module and $\sqrt{{\mathrm{Ann}}_R\left(M\right)}$ is a prime ideal of $R$, then $M$ has $n$-submodule. Moreover, we define the notion of $G.n$-submodule, which is a generalization of the notion of $n$-submodule. We find some characterizations of $G.n$-submodules and we examine the way the aforementioned notions are related...

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...

A left module $M$ over an arbitrary ring is called an $\mathrm{ℛ𝒟}$-module (or an $\mathrm{ℛ𝒮}$-module) if every submodule $N$ of $M$ with $\mathrm{Rad}\left(M\right)\subseteq N$ is a direct summand of (a supplement in, respectively) $M$. In this paper, we investigate the various properties of $\mathrm{ℛ𝒟}$-modules and $\mathrm{ℛ𝒮}$-modules. We prove that $M$ is an $\mathrm{ℛ𝒟}$-module if and only if $M=\mathrm{Rad}\left(M\right)\oplus X$, where $X$ is semisimple. We show that a finitely generated $\mathrm{ℛ𝒮}$-module is semisimple. This gives us the characterization of semisimple rings in terms of $\mathrm{ℛ𝒮}$-modules. We completely determine the structure...

Let $U$ be a dg-$A$-module, $B$ the endomorphism dg-algebra of $U$. We know that if $U$ is a good silting object, then there exist a dg-algebra $C$ and a recollement among the derived categories $𝐃(C,d)$ of $C$, $𝐃(B,d)$ of $B$ and $𝐃(A,d)$ of $A$. We investigate the condition under which the induced dg-algebra $C$ is weak nonpositive. In order to deal with both silting and cosilting dg-modules consistently, the notion of weak silting dg-modules is introduced. Thus, similar results for good cosilting dg-modules are obtained....

Let $(R,𝔪)$ be a commutative Noetherian local ring, $𝔞$ be an ideal of $R$ and $M$ a finitely generated $R$-module such that $𝔞M\ne M$ and $\mathrm{cd}(𝔞,M)-\mathrm{grade}(𝔞,M)\le 1$, where $\mathrm{cd}(𝔞,M)$ is the cohomological dimension of $M$ with respect to $𝔞$ and $\mathrm{grade}(𝔞,M)$ is the $M$-grade of $𝔞$. Let $D(-):={\mathrm{Hom}}_R(-,E)$ be the Matlis dual functor, where $E:=E(R/𝔪)$ is the injective hull of the residue field $R/𝔪$. We show that there exists the following long exact sequence $$\begin{array}{cc}\hfill 0⟶& H_{𝔞}^{n-2}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)⟶D\left(M\right)\\ \hfill ⟶& H_{𝔞}^{n-1}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^{n+1}\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)\\ \hfill ⟶& H_{𝔞}^n\left(D\left(H_{(x_1,...,x_{n-1})}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{(}^{n-1}M\right)\right))⟶...,\end{array}$$ where $n:=\mathrm{cd}(𝔞,M)$ is a non-negative integer, $x_1,...,x_{n-1}$ is a regular sequence in $𝔞$ on $M$ and, for an $R$-module $L$, $H_{𝔞}^i\left(L\right)$ is the $i$th local cohomology module...

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$. Let $t\in {\mathbb{N}}_0$ be an integer and $M$ an $R$-module such that ${\mathrm{Ext}}_R^i(R/I,M)$ is minimax for all $i\le t+1$. We prove that if $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i<t$, then the $R$-modules $H_I^i\left(M\right)$ are $I$-cominimax for all $i<t$ and ${\mathrm{Ext}}_R^i(R/I,H_I^t\left(M\right))$ is minimax for $i=0,1$. Let $N$ be a finitely generated $R$-module. We prove that ${\mathrm{Ext}}_R^j(N,H_I^i\left(M\right))$ and ${\mathrm{Tor}}_j^R(N,H_I^i\left(M\right))$ are $I$-cominimax for all $i$ and $j$ whenever $M$ is minimax and $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i$.

Let $W$ be the subspace of ${\mathbb{N}}^{*}$ consisting of all weak $P$-points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$-pseudocompact space for all $p\in {\mathbb{N}}^{*}$.

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...