Related papers: Efficient generation, unimodular element in a geom…
Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on…
The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual…
Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…
Let $R$ be a complete regular local ring with an algebraically closed residue field and let $A$ be a Noetherian $R$-subalgebra of the polynomial ring $R[X]$. It has been shown in \cite{DO2} that if $\dim R=1$, then $A$ is necessarily…
A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there…
The *reciprocal complement* $R(D)$ of an integral domain $D$ is the subring of its fraction field generated by the reciprocals of its nonzero elements. Many properties of $R(D)$ are determined when $D$ is a polynomial ring in $n\geq 2$…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
Let P be a commutative Noetherian ring, K be an ideal of P which is generated by a regular sequence of length four, f be a regular element of P, and Pbar be the hypersurface ring P/(f). Assume that K:f is a grade four Gorenstein ideal of P.…
Let $A$ be a symbolic (or an extended symbolic) Rees algebra (need not be Noetherian) of dimension $d$. Let $P$ be a finitely generated projective $A$-module of rank $\geq$ $d$. Then P has a unimodular element. This improves the classical…
Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…
We prove that a commutative noetherian ring $R$ is Gorenstein of dimension at most $d$ if $d+1$ is an upper bound on the G-levels of perfect $R$-complexes. For $R$ local, we prove a formula for levels, with respect to injective or…
Let $R$ be a Noetherian commutative ring of dimension $n$, $A=R[X_1,\cdots,X_m]$ be a polynomial ring over $R$ and $P$ be a projective $A[T]$-module of rank $n$. Assume that $P/TP$ and $P_f$ both contain a unimodular element for some monic…
Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
Throughout this abstruct $A$ will denote a noetherian commutative ring of dimension $n$. The paper has two parts. Among the interesting results in Part-1 are the following: 1) {\it suppose that $f_1, f_2, ..., f_r$ (with $r \leq n$) is a…
Let $R$ be a commutative Noetherian ring of dimension $d$, $M$ a commutative cancellative torsion-free monoid of rank $r$ and $P$ a finitely generated projective $R[M]$-module of rank $t$. $(1)$ Assume $M$ is $\Phi$-simplicial seminormal.…
Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero…
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…
This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call…
A minor is principal means it is defined by the same row and column indices. Let $X$ be a square generic matrix, $K[X]$ the polynomial ring in entries of $X$, over an algebraically closed field, $K$. For fixed $t\leq n$, let $\mathfrak P_t$…