- 134 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 11:27:54.20 ]
- >>121の修正
定義
A を可換環とする。
B = A[X_1、．．．、X_n] を n 変数の多項式環とする。
B の元 f は 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 と書く。
sup {deg X^a；c_a ≠ 0} を f の次数と呼び deg(f) または deg f と書く。
ただし、f = 0 のとき deg f = -∞ とする。
