可除的四元数代数上多项式环的Grbner基(英文)

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