Take the hyperplane divisor . On its local equation is , a non-zero-divisor; on it is the unit one. Thus it is an effective Cartier divisor. On overlaps, is a unit.
The divisor line bundle is locally generated by . Map this generator to the local generator of the twisting sheaf on projective space . On overlaps both generators transform by , so the maps glue and give
For the hyperplane is empty and this is the zero Cartier divisor; the conclusion still holds.

Articles by others on the same topic (0)

There are currently no matching articles.