an scheme）。其上一素韦伊除子（prime Weil divisor）是指一个余维数为一的不可约且既约的子概形。"X" 上的一个韦伊除子是素韦伊除子的有限形式和。
Cartier除子.假设 "X" 为一不可约且既约的诺特概形。则 "X" 上的非零有理函数的芽关于乘法构成了一个阿贝尔群层，记为 formula_78。 它是一个常数层，且包含所有非零正则函数的芽层 formula_79 为子层。按定义，"X" 上的一个卡蒂亚除子（Cartier divisor）为商层 form