Related papers: A generalized Dade's Lemma for local rings

In this paper we study rigid modules over commutative Noetherian local rings, establish new freeness criteria for certain periodic rigid modules, and extend several results from the literature. Along the way, we prove general Ext vanishing…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

Let $R$ be a local ring with residue field $k$ and $M$, $N$ be finitely generated modules over $R$. It is well known that $Tor^R_i(M, N) = 0$ for $i \gg 0$ if $pd_R(M) < \infty$ or $pd_R(N) < \infty$. The ring $R$ is said to satisfy the…

We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a…

The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$…

We prove the Second Vanishing Theorem for local cohomology modules of an unramified regular local ring in its full generality and provide a new proof of the Second Vanishing Theorem in prime characteristic $p$. As an application of our…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Let $S$ be a regular local ring with residue field $k$ and let $M$ be a finitely generated $S$-module. Suppose that $f_1,\dots ,f_c\in S$ is a regular sequence that annihilates $M$, and let $E$ be an exterior algebra over $k$ generated by…

Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N^*(x) of an element x \in N to be bounded by the rank of N. The Generalized Principal Ideal Theorem of Bruns,…

Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is…

Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…

The classical Noether Normalization Lemma states that if $S$ is a finitely generated algebra over a field $k$, then there exist elements $x_1,\dots,x_n$ which are algebraically independent over $k$ such that $S$ is a finite module over…

We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.

It is shown that if $A$ is a regular local ring and $I$ is a maximally differential ideal in $A$, then $I$ is generated by an $A$-sequence.

In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these…