Abstract:In this article, we generalize the well-known result that ideals of Noetherian polynomial rings have only finitely many initial ideals to the situation of ascending ideal chains in non-Noetherian polynomial rings. More precisely, we study ideal chains in the polynomial ring $R=K[x_{i,j}\,|\,1\leq i\leq c,j\in N]$ that are invariant under the action of the monoid $Inc(N)$ of strictly increasing functions on $N$, which acts on $R$ by shifting the second variable index. We show that for every such ideal chain, the number of initial ideal chains with respect to term orders on $R$ that are compatible with the action of $Inc(N)$ is finite. As a consequence of this, we will see that $Inc(N)$-invariant ideals of $R$ have only finitely many initial ideals with respect to $Inc(N)$-compatible term orders. The article also addresses the question of how many such term orders exist. We give a complete list of the $Inc(N)$-compatible term orders for the case $c=1$ and show that there are infinitely many for $c >1$. This answers a question by Hillar, Kroner, Leykin.

On the ascending chain condition for mixed difference ideals

Behavior of the Auslander Condition with Respect to Regradings

The ascending chain condition on principal right ideals for semigroup constructions

A Necessary Condition on the Existence of Abelian Difference Sets

Strongly Lech-independent ideals and Lech's conjecture

Difference Nullstellensatz

Difference of Hilbert series of homogeneous monoid algebras and their normalizations

A real chain condition for groups

On a problem of Amitsur and Small

Relativity of reductive chain complexes of non-abelian simplexes

The chain algebra of a pure poset

Ascending chain conditions on right ideals of semigroups

Difference sheaves and torsors

Difference Index of Quasi-Prime Difference Algebraic Systems

On the atomicity of one-dimensional monoid algebras

On set theoretically and cohomologically complete intersection ideals

Higher Dimensional Chain Conditions

Finite numbers of initial ideals in non-Noetherian polynomial rings

Ascent and descent of Gorenstein homological properties