- 125 名前：Kummer ◆SgHZJkrsn08e [2012/03/07(水) 18:22:41.00 ]
- 定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
B の元 f ≠ 0 は f = Σc_a X^a（>>97）と書ける。
c_a ≠ 0 のとき単項式 c_aX^a = c_a(X_1)^(a_1)．．．(X_n)^(a_n) に対して
a_1 + 2a_2 + ．．．+ na_n を c_aX^a の重さ（weight）と言う。
f の c_a ≠ 0 となる各項 c_aX^a の重さの最大値を f の重さと言う。
f の c_a ≠ 0 となる各項 c_aX^a の重さが等しいとき f を同重と言う。
