关于"O"-模上的张量积存在一个逆元素"T"。这是拓扑意义上的线丛在代数几何学中的类比。 可逆层也被等价定义为秩为1的局部自由层。可逆层在研究代数簇时起到了重要的作用。
定义.可逆层被定义为在赋环空间formula_1上的一个凝聚层"S"，使得 "S"关于"O"-模上的张量积存在一个逆元素"T" 。这相当于说，我们有这里，空间"X"的环层formula_3是张量积运算下的单位元。可逆层的重要例子来源于对代数几何学和复流形的研究。在这些研究中，可逆层等同于线丛。上述可逆层的定