Related papers: Flat modules over valuation rings
The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…
Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…
If $\hat{R} is the pure-injective hull of a valuation ring $R$, it is proved that $\hat{R}\otimes\_RM$ is the pure-injective of $M$, for each finitely generated module $M$. Moreover, $\hat{R}\otimes\_RM\simeq\oplus\_{1\leq k\leq…
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…
Let A be a connected left artinian ring with radical square zero and with n simple modules. If A is not self-injective, then we show that any module M with Ext^i(M,A) = 0 for 1 \le i \le n + 1 is projective. We also determine the structure…
We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…
Let $R$ be a commutative Noetherian local ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. In this paper, we investigate how the finiteness of the homological dimension of Ext modules between $M$ and $N$ affects that of…
It is shown that a commutative B\'ezout ring $R$ with compact minimal prime spectrum is an elementary divisor ring if and only if so is $R/L$ for each minimal prime ideal $L$. This result is obtained by using the quotient space…
We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…
Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander…
In this paper, we introduce and study the projectively coresolved Gorenstein flat dimension of a group $G$ over a commutative ring $R$ and we prove that this dimension enjoys all the properties of the cohomological and the Gorenstein…
Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that…
It is shown that every commutative local ring of bounded module type is an almost maximal valuation ring.
Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian.…
We prove a descent result for finite projective modules, motivated by a question in perfectoid geometry. Given a commutative ring $A$, we formulate a descent problem for descending a finite projective module over the Novikov ring with…
We describe rings over which every right module is almost injective. We give a description of rings over which every simple module is a almost projective.
Given a ring R, we define its right i-profile (resp. right p-profile) to be the collection of injectivity domains (resp. projectivity domains) of its right R-modules. We study the lattice theoretic properties of these profiles and consider…
Let $(R,\mm,K)$ be a regular local ring containing a field $k$ such that either char $k=0$ or char $k=p$ and tr-deg $K/\BF_p\geq 1$. Let $g_1,\ldots,g_t$ be regular parameters of $R$ which are linearly independent modulo $\mm^2$. Let…
Given a ring $R$, we study the bimodules $M$ for which the trivial extension $R\propto M$ is morphic. We obtain a complete characterization in the case where $R$ is left perfect, and we prove that $R\propto Q/R$ is morphic when $R$ is a…
Let $R$ be a perfect ring and $T$ be an $R$-module. We study characterizations of sincere modules, sincere silting modules and tilting modules in terms of various vanishing conditions. It is proved that $T$ is sincere silting if and only if…