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]Inc(N)$ of strictly increasing functions on , which acts on 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 that are compatible with the action of is finite. As a consequence of this, we will see that -invariant ideals of have only finitely many initial ideals with respect to -compatible term orders. The article also addresses the question of how many such term orders exist. We give a complete list of the -compatible term orders for the case and show that there are infinitely many for . This answers a question by Hillar, Kroner, Leykin.

生成讲解博客的中文版本

生成AI智能校验的中文版本