Krull维数、零点定理和动态评估
摘要：构造性地证明了一种Nullstellensatz定理，它在一个手中给出了某种代数恒等式的存在性，而在另一个手中给出了不可能找到满足某些约束条件的不可约多项式序列的增长。通常的Nullstellensatz定理对应于约简为一个点的多项式序列的情况。我们还解决了与递增素数序列有关的类似的形式Nullstellensatz定理。一个重要的特例是伪正则序列的概念。这使得可以通过伪正则序列对环的Krull维数进行新的刻画。通过伪正则序列进行的这种刻画是基本的和构造性的。我们的方法使用了在之前的论文中引入的动态代数结构。
作者：Henri Lombardi
论文ID：2308.10296
分类：Commutative Algebra
分类简称：math.AC
提交时间：2023-08-22