定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
B の元 f ≠ 0 は f = Σc_a X^a（>>97）と書ける。
f の c_a ≠ 0 となる各項 c_a X^a の次数（>>121）が全て等しいとき
f を同次多項式と言う。