Weil divisor

Symbol-free definition
A Weil divisor in a commutative unital ring is defined as an element of the free Abelian group whose generators are the prime ideals of codimension 1. Equivalently, it is a formal linear combination of codimension 1 prime ideals with integer coefficients.

Related notions

 * Cartier divisor