Related papers: Flat dimension for power series over valuation rin…

Let R be a commutative ring with identity, and let S be a multiplicative subset of R. Positselski and Sl\'avik introduced the concepts of S-strongly flat modules and S-weakly cotorsion R-modules, and they showed that these concepts are…

A power series ring over non-Noetherian rings can fail to be flat over the base ring, and its dimension can be infinite, even when the dimension of the base ring is finite. We study the case when the base ring has Krull dimension 0, and…

The notion of faithful flatness of a module over a commutative ring is studied for two $R$-modules $M$ arising in functional analysis, where $R$ is a Banach algebra and $M$ is a Hilbert space. The following results are shown: If $X$ is a…

It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here…

A ring with a test module of finite upper complete intersection dimension is complete intersection.

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. R. Berger conjectured that $R$ is regular if and only if the universally finite module of differentials $\Omega_R$ is…

We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over…

The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second subject consists of investigating the class of S-modules…

Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm…

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of…

A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…

We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that…

Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are…

Let $R$ be a Noetherian ring of dimension $d$ and $A$ be a graded $R$-subalgebra of $R[X,1/X]$. Let $P$ be a projective module over $A$ of rank $r \geq \max\{d+1,2\}$ and $\v=(a,p)$ be a unimodular element of $A \oplus P$. We find an…

We consider flat epimorphisms of commutative rings $R\to U$ such that, for every ideal $I\subset R$ for which $IU=U$, the quotient ring $R/I$ is semilocal of Krull dimension zero. Under these assumptions, we show that the projective…

We compute the Gorenstein weak dimension of a coherent power series rings over a commutative rings and we show that, in general, $\gwd(R) \leq 1$ does not imply that $R$ is an arithmetical ring.

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…