An effective Cartier divisor on a scheme is a closed subscheme
whose ideal sheaf
is an invertible sheaf.
Equivalently, locally on
, the subscheme
is cut out by one element that is not a zero
divisor (Stacks Project 2026).
Effective Cartier divisors are the effective members of the group of Cartier divisors.