Use the graded ring homomorphism
where source degree maps to target degree . The homogeneous ideal of the twisted cubic is : a homogeneous polynomial vanishes on the parametrized curve precisely when its substitution vanishes identically. Here is infinite, being an algebraically closed field, so vanishing at all parameter points implies the polynomial identity.
Let be generated by
Their substitutions vanish, hence . To prove the reverse inclusion as an equality of ideals, we need more than a set-theoretic description of the zero locus.
Modulo , replace by , by , and by . Each replacement strictly decreases the sum of the exponents of and , so the reduction terminates. It shows that the degree- quotient is spanned by the standard monomials of the twisted cubic
For there are of these. For the sole monomial is . Their substituted images have -exponents respectively , and , so they are exactly the distinct monomials
These are linearly independent. Consequently any degree- polynomial in , after reduction modulo , has all its reduced coefficients zero. It belongs to . Applying this to each homogeneous component gives
This also proves that the quotient embeds in the domain , so the displayed ideal is prime; no radicalization or saturation correction is concealed in the argument. Its image is the third Veronese subring , and the calculation gives the Hilbert polynomial , consistent with degree three and genus zero.
The even-degree subring is the second Veronese subring
where have degree one in the regraded ring. The canonical invariance of the Proj construction under passage to a Veronese subring gives
On homogeneous points this is the degree-two Veronese embedding
It is an isomorphism onto the closed subscheme
Thus the quotient homomorphism supplies the requested closed immersion of into the projective plane.
Modulo the three quadric relations of the twisted cubic, replace by , by , and by . Each replacement reduces the total exponent of . The resulting monomials are , , and . In degree their images under are all distinct monomials of degree . They are linearly independent, so the three quadrics generate the full homogeneous ideal, not merely its radical. The quotient is the third Veronese subring of .