Prime Weil divisor (source code)

= Prime Weil divisor

A prime Weil divisor is one integral codimension-one closed subscheme. At its generic point, regularity in codimension one supplies a discrete valuation and hence an order of vanishing.