除子

除子概念起源于代数几何。 这是代数几何最为关键的概念之一。一条代数曲线上的除子就是曲线有限个点的带有重数的组合；一片代数曲面上的除子就是曲面上有限条代数曲线的带有重数的组合；更一般的， 一个n维代数簇上的除子就是它上面有限个n-1维代数超曲面的带有重数的集合。一般地，对于代数闭域上的非奇代数簇，它可以定义为余维数为一的子簇的(整系数)形式和，也可以定义为层 的一个整体截面。在满足一定条件的（可以是奇异的）代数簇上，这两种定义分别推广成Weil除子和Cartier除子。