Let be a Noetherian integral scheme that is regular in codimension one, and let , where the are the codimension-one irreducible components of the complement. Restriction gives an exact sequence
If is a Noetherian normal domain and is a multiplicative set, then is the quotient of by the classes of height-one primes meeting . Tracking the units of determines the relations among those prime divisors.
For the three-dimensional affine quadric cone
the divisor class group is infinite cyclic. A generator is either ruling plane or , and the principal divisor of gives the relation .
For a Noetherian integral scheme that is regular in codimension one,
where is a hyperplane divisor. Restriction to gives the first summand, while restriction to the generic projective-space fiber detects the coefficient of .

Articles by others on the same topic (0)

There are currently no matching articles.