- 101 名前：Kummer ◆SgHZJkrsn08e [2012/03/06(火) 23:53:05.62 ]
- 定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
(Z+)^n（>>73）には辞書式順序（>>75）を入れておく。
f = Σc_a X^a（>>97）を B の 0 でない元とする。
max {a；c_a ≠ 0} ∈ (Z+)^n を f の複次数（multi-degree）と呼び mdeg(f) または mdeg f と書く。
a = mdeg(f) のとき c_a X^a を f の主項（leading term）と呼び lead(f) と書く。
c_a を f の主係数と呼ぶ。
