- 894 名前：9208 ◆lJJjsLsZzw mailto:sage [2006/01/31(火) 12:05:39 ]
- 定義
A をネーター環とする。
D を Div(A) (>>826) の元、つまり A の因子とする。
D = Σ(n_p)p とする。ここで p は A の高さ１の素イデアル全体
である。すべての高さ１の素イデアル p に対して n_p ≧ 0 のとき
D ≧ 0 と書く。D_1, D_2 が A の因子で、D_1 - D_2 ≧ 0 のとき
D_1 ≧ D_2 と書く。明らかに、Div(A) は関係 ≧ により順序集合
となる。
