补充资料：除子理想

除子理想
divisorial ideal

　　除子理想[成、触州目汕图l;及.皿，oP“a刀切碱助e.几] 一个交换整环A中的分式理想〔fxactiona{j山川)a，使得a”A:(A:a)(这里A:a表示环A的分式域中满足xa三A的元素x的集合).一个除子理想有时称为环的一个除子(di姑or).任取一个分式理想Q，了=A:(A:a)总是除子理想，环A的除子理想集合D(A)是一个具有格序的交换么半群，两除子理想。和b的乘积定义为a·b，整除子理想被认为是正的(positive)或有效的.么半群D(A)是一个群，当且仅当环A是完全整闭的，这时A:a是除子a的逆. 通常在Krt山环(即N忱ther整闭环)中考虑除子理想.这时高度为1的素理想是除子理想并组成除子Abel群D(A)的基.事实上，这个结果应归功于E.Artin和B.L.van derw比n址们“1」)，作为他们关于理想的拟相等理论的一部分(两个理想a和b称为拟相等的(quasi一叫ual)，是指百一百).这个理论形成宁应世代数的一个主要分支—理想分解的研究. 主分式理想和可逆分式理想都是除子理想，并分别形成D(A)的子群F(A)和J扭).商群D认)/F(A)=C(A)和J(A)/F(A)=入(A)分别称为A的除子类群(di卿rc比gro叩)和巧口川群(Pica己gro叩).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。