- 852 名前：9208 ◆lJJjsLsZzw mailto:sage [2006/01/26(木) 11:48:25 ]
- A をネーター環とし、I を A のイデアルで可逆(>>430)とする。
A の因子群 Div(A)(>>826) の元 div(I) を
div(I) = Σleng(A_p/IA_p)p
により定義する。ここで、p は A の高さ１の素イデアル全体を動く。
>>850 により、leng(A_p/IA_p) は有限であり、
>>851 により、leng(A_p/IA_p) ≠ 0 となる p は有限個だから
div(I) は明確に定義される。
|
 |
