monomial order

monomial basis），或是此一基底的単項式順序（英语：monomial order）。 以下的「單項式」會以上述的第一個定義為準。 所有的多項式都是單項式的線性組合，因此形成多項式向量空间的基，稱為單項基函數（monomial basis）。 在偏微分方程中常需要標示單項式。若用的變數是像

{K} \langle x_{1},\ldots ,x_{n}\rangle ,} ，是一個無零因子環。這點可藉由非交換單項式的序（英语：monomial order）來證明。 若 R {\displaystyle R} 是一個無零因子環，且 S {\displaystyle S} 是 R {\displaystyle