用語とかもう少し整理した方が良いのかもしれない。以下はその変更案。 項イデアルは単項式イデアルと呼ぶことにする。 生成の記号は、全体空間がほぼ自明なのでで書く。 のによる割り算アルゴリズムの余り（remainder）をのによる簡約（reduction）と呼ぶ。…