可除的四元数代数上多项式环的Grobner基

设F是一个特征不等于2的域,A是,上的一个可除代数。本文研究了A上多项式环A[x1,X2,…,xn]中理想是有限生成的,以及它的Grobner基;也表明F[x1,x2,…,xn]中有限子集G是F[x1,x2,…,xn]的Griobner基当且仅当G是A[x1,x2,…,xn]中的Grobner基。