For a Noetherian separated integral scheme regular in codimension one, a Weil divisor is a finite integer combination of integral codimension-one closed subschemes. Principal divisors are the valuation divisors of nonzero rational functions, and the divisor class group is
For an open immersion , restriction induces a surjection
every prime divisor of closes to a prime divisor of , while divisors supported in form the kernel. Therefore implies .
Affine schemes need not have trivial class group. For example,
is a normal affine surface with . The height-one prime represents the nonzero class: twice this divisor is the principal divisor of , but the divisor itself is not principal.

Articles by others on the same topic (0)

There are currently no matching articles.