For , a hyperplane divisor on projective space is the effective Cartier divisor cut out by a nonzero homogeneous linear polynomial. Its divisor line bundle is , and its class generatesA degree- homogeneous equation defines a projective hypersurface divisor linear equivalence of divisors to . Different projective hyperplanes are linearly equivalent, since the ratio of their defining linear equations is a rational function with divisor equal to their difference. The dimension restriction matters: has no codimension-one points and has trivial divisor class group.
New to topics? Read the docs here!