Groebner基底は、多項式環のイデアルの"よい"生成元のことで、Groebner基底を計算するBuchbergerアルゴリズムなどの存在によって、計算機代数で広く使われている。Groebner基底を非可換多項式環に拡張しようというのは、誰でも考えるようなことではあると思…