Weil divisor
History
Origin
This term was introduced by: Mumford
Definition
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.