la_21。除子类群定义作formula_22。对于紧黎曼面，这是一个有限生成的交换群，它是紧黎曼面formula_1的一个重要不变量。从层论的观点看，除子是一个局部的概念，对于formula_1上任意的除子formula_3，和formula_1的开集formula_27，可以定义formula_28在formula_27上的限制formula_30。函子formula_31是formula_1上的层。给定formula_1上任何一个除子formula_28，局部上formula_28都可以被写作