Related papers: Efficient generation, unimodular element in a geom…

Let X be a group with identity e, let A be an infinite set of generators for X, and let (X,d_A) be the metric space with the word metric d_A induced by A. If the diameter of the space is infinite, then for every positive integer h there are…

Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and…

Let R be an unramified regular local ring of mixed characteristic, D an Azumaya R-algebra, K the fraction field of R, Nrd the reduced norm homomorphism for the Azumaya R-algebra D. Let a be a unit in R. It is proved the following: suppose…

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$, among all ideals $I$ in $R$. In this paper, we obtain a characterization of Noetherian rings $R$ whose rank is not equal to the supremum of ranks of…

When we consider a finite abelian group acting linearly on a polynomial ring, we can find monomial generators for the subring of invariants. By Noether's degree bound and Hilbert's finiteness theorem, we know that there are finitely many…

A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite…

This article concerns a question asked by M. V. Nori on homotopy of sections of Projective modules defined on the polynomial algebra over a smooth affine domain $R$. While this question has an affirmative answer, it is known that the…

In this article, we prove that if $R$ is a finitely generated ring over $\mathbb{Z}$ of dimension $d, d\geq2, \frac{1}{d!}\in R$, then any unimodular row over $R[X]$ of length $d+1$ can be mapped to a factorial row by elementary…

We describe the additive structure of the graded ring $\widetilde{M}_*$ of quasimodular forms over any discrete and cocompact group $\Gamma \subset \rm{PSL}(2, \RM).$ We show that this ring is never finitely generated. We calculate the…

Let $R$ be a polynomial ring in $N$ variables over an arbitrary field $K$ and let $I$ be an ideal of $R$ generated by $n$ polynomials of degree at most 2. We show that there is a bound on the projective dimension of $R/I$ that depends only…

Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

Let $R$ be a commutative noetherian local ring. We define a new invariant for $R$-modules which we call the little dimension. Using it, we extend the improved new intersection theorem.

A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…

A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…

Let A be a finitely-generated commutative ring and k a noetherian commutative ring. We show that, in the category of functors from finitely-generated projective A-modules to k-modules, each finitely-generated polynomial functor is…

Let $D$ be a domain and $M$ a maximal ideal of $D$. The ring of integer-valued polynomials on a subset $E$ of $D$, as well as more general rings of functions from $E$ to $D$, can be viewed as subrings of the product $D^E=\prod_{e\in E}D$.…