Ascending chains of ideals in the polynomial ring

Authors: GRZEGORZ PASTUSZAK

Abstract: Assume that $K$ is a field and $I_{1}\subsetneq ...\subsetneq I_{t}$ is an ascending chain (of length $t$) of ideals in the polynomial ring $K[x_{1},...,x_{m}]$, for some $m\geq 1$. Suppose that $I_{j}$ is generated by polynomials of degrees less or equal to some natural number $f(j)\geq 1$, for any $j=1,...,t$. In the paper we construct, in an elementary way, a natural number B (m,f) (depending on $m$ and the function $f$) such that ≤ (m,f)$. We also discuss some applications of this result.

Keywords: Polynomial rings, ascending chains of ideals, Gr\"obner bases, common invariant subspaces, quantifier elimination, quantum information theory

Full Text: PDF