- 130 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 09:18:15.13 ]
- >>125の修正
定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
B の任意の元 f は 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 ≠ 0 のとき c_a ≠ 0 となる各項 c_aX^a の重さの最大値を f の重さと言う。
f の c_a ≠ 0 となる各項 c_aX^a の重さが等しいとき f を同重と言う。
f = 0 も同重と見なす。
