Related papers: On the ascending chain condition for mixed differe…

We introduce the concept of a Gr\"obner nice pair of ideals in a polynomial ring and we present some applications.

We introduce a notion of dimension for the solution set of a system of algebraic difference equations that measures the degrees of freedom when determining a solution in the ring of sequences. This number need not be an integer, but, as we…

In this paper, we prove a result similar to results of Itoh and Hong-Ulrich, proving that integral closure of an ideal is compatible with specialization by a general element of that ideal for ideals of height at least two in a large class…

In this paper, we prove that if $P$ is a homogeneous prime ideal inside a standard graded polynomial ring $S$ with $\dim(S/P)=d$, and for $s \leq d$, adjoining $s$ general linear forms to the prime ideal changes the $(d-s)$-th Hilbert…

The work proves that, for three-dimensional upper triangular groups over a field of odd characteristic with an abelian unipotent subgroup, the ring of invariants is polynomial if and only if the unipotent subgroup is generated by…

The main result of this note asserts that a strong form of the Matroid Minor Conjecture due to J. Draisma is not true, i.e., there exist properly ascending chains of $S_\infty$-stable ideals in the affine coordinate ring of the affine…

We analyze properties of various square-free factorizations in greatest common divisor domains and domains satisfying the ascending chain condition for principal ideals.

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…

We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such…

We extend a theorem of Ladkani concerning derived equivalences between upper-triangular matrix rings from ordinary rings to ring spectra. Our result also extends an analogous theorem of Maycock for differential graded algebras.

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a…

We show that there exist noncommutative Ore extensions in which every right ideal is two-sided. This answers a problem posed by Marks in Duo Rings and Ore extensions, J.Algebra 280(2), (2004). We also provide an easy construction of one…

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

We show that there exists a stably free module over a polynomial ring which is not extended from the ground ring. This provides a counterexample to the Hermite ring conjecture.

In this paper I consider polynomial composites with the coefficients from $K\subset L$. We already know many properties, but we do not know the answer to the question of whether there is a relationship between composites and field…

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…

We study in this paper some local invariants attached via multiplier ideals to an effective divisor or ideal sheaf on a smooth complex variety. First considered (at least implicitly) by Libgober and by Loeser and Vaquie, these jumping…

We show that by working over the absolute base $\mathbb S$ (the categorical version of the sphere spectrum) instead of $\mathbb S[\pm 1]$ improves our previous Riemann-Roch formula for $\overline{{\rm Spec\,}\mathbb Z}$. The formula equates…

What is an adequate extension of an operator ideal I to the polynomial and multilinear settings? This question motivated the appearance of the concepts of coherent sequences of polynomial ideals and compatibility of a polynomial ideal with…