Divisor class group of a projective-space bundle with trivial vector bundle

ID: divisor-class-group-of-a-projective-space-bundle-with-trivial-vector-bundle

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 .

New to topics? Read the docs here!