Cartier divisor

From Commalg

Template:Divisor notion

Definition

Symbol-free definition

A Cartier divisor in a commutative unital ring is an invertible fractional ideal of the ring. The set of Cartier divisors form a group under ideal multiplication.

Related notions

  • Weil divisor: There is a natural homomorphism from the group of Weil divisors to the group of Cartier divisors