有效除子

扩展释义

除子(divisor)亦称韦伊除子，是研究代数簇的重要工具之一，指不可约簇X上余维数为1的不可约子簇的代数和。具体地，若D表示X中不含于X的奇异轨迹之中且余维数为1的不可约子簇的全体，Div(X)表示以D为基的自由阿贝尔群，则Div(X)中的元称为除子。设A=∑niAi是一个除子，Ai是不可约子簇，若所有的ni≥0，则称A为有效除子，称Ai为素除子。