实上，若formula_69是可逆层，令formula_28为任意一个亚纯截面的除子，则formula_71。易见主除子对应的可逆层同构于平凡层。两个除子之和对应的可逆层是原来两个除子对应之可逆层的张量积。若两个除子之差为一主除子，则他们定义的线丛是同构的。从线丛的观点看，若两个除子之差为一主除子，我们可以把它们视作等价。上面定义的映射formula_72给出了它与formula_73的一个同构。这里formula_73是可逆层的同构类在张量积下构成的交换群。任意一个除子formula_75，我