Restriction sends a Weil divisor on to the sum of its components meeting . Every prime divisor on has a codimension-one closure in the Noetherian scheme , so the induced map is surjective.
If the class of restricts to zero, then for some . The divisor is supported on , hence is an integral combination of . Conversely, every such combination restricts to zero. Thereforewhere the first map sends the th basis vector to , is exact.
Articles by others on the same topic
There are currently no matching articles.