Let $(R,fm,k)$ be a local Gorenstein ring of dimension $n$. Let $H_{I,J}^i(R)$ be the  local cohomology with respect to a pair of ideals $I,J$ and $c$ be the $inf{i|H_{I,J}^i(R)neq0}$. A pair of ideals $I, J$ is called cohomologically complete intersection if $H_{I,J}^i(R)=0$ for all $ineq c$. It is shown that, when $H_{I,J}^i(R)=0$ for all $ineq c$, (i) a minimal injective resolution of $H_{I,...

We extend our $\imath$Hall algebra construction from acyclic to arbitrary $\imath$quivers, where the $\imath$quiver algebras are infinite-dimensional 1-Gorenstein in general. Then we establish an injective homomorphism universal $\imath$quantum group of Kac-Moody type arising quantum symmetric pairs associated a virtually $\imath$quiver.

It is proved that every commutative ring whose RD-injective modules are Σ-RD-injective is the product of a pure semi-simple ring and a finite ring. A complete characterization of commutative rings for which each artinian (respectively simple) module is RD-injective, is given. These results can be obtained by using the properties of RD-flat modules and RD-coflat modules which are respectively th...

The purpose of this paper is to describe a connection between model categories, a structure invented by algebraic topologists that allows one to introduce the ideas of homotopy theory to situations far removed from topological spaces, and cotorsion pairs, an algebraic notion that simultaneously generalizes the notion of projective and injective objects. In brief, a model category structure on a...

Minimality ranks in the style of Deissler are one way of measuring the structural complexity of minimal extensions of first-order structures. In particular, positive Deissler rank measures the complexity of the injective envelope of a module as an extension of that module. In this paper we solve a problem of the second author by showing that certain injective envelopes have the maximum possible...