Page "Projective variety" Paragraph 17

Let k be an algebraically closed field.

Given a homogeneous prime ideal P of, let X be a subset of P < sup > n </ sup >( k ) consisting of all roots of polynomials in P .< ref > The definition makes sense since if and only if for any nonzero λ in k .</ ref > Here we show X admits a structure of variety by showing locally it is an affine variety.

Let