定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
B の元 f ≠ 0 は f = Σc_a X^a（>>97）と書ける。
単項式 X^a = (X_1)^(a_1)．．．(X_n)^(a_n) に対して a_1 + ．．． + a_n を X^a の次数と呼び
deg X^a と書く。
max {deg X^a；c_a ≠ 0} を f の次数と呼び deg(f) または deg f と書く。