mula_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都可以被写作一个函数对应的主除子。精确地说，一定存在formula_1的一组开覆盖{formula_37}以及每个fo