An invertible sheaf on a scheme 
is a sheaf of 
-modules that is locally isomorphic
to the structure sheaf 
.
Invertible sheaves form a group under the tensor product, called the Picard group of 
. The ideal sheaf of an effective
Cartier divisor is invertible.
