Projective Line

A projective line over a field is the one-dimensional projective space . Its points have homogeneous coordinates , where and for every nonzero .

The points form a copy of , and the remaining point is the point at infinity. Thus the -rational points of the projective line can be identified with .

The algebraic blow-up of the affine plane at the origin has a projective line as its exceptional divisor.