任意基环上的一致Grobner基
摘要：在一个带单位元的交换环R中，令A为一个不一定是交换的R代数，它作为一个R模是自由的。如果I是A的一个理想，我们可以问当A/I作为一个R模时是否也是自由的。我们证明了如果A有一个可允许的系统，并且I有一个幺元Grobner基，则A/I是作为一个R模自由的。我们证明了R上的Buchberger定理的一个版本，并作为一个推论，我们获得了一个基于Grobner基的Poincare-Birkhoff-Witt定理的证明，在一个交换的基础环上。
作者：Frederick Leitner, Robert Pawloski
论文ID：math/0409565
分类：Rings and Algebras
分类简称：math.RA
提交时间：2007-05-23