I am looking for clarification for the following problem. The field $k$ is algebraically closed and has characteristic not equal to $2.$ :
Show that the locus of all homogeneous polynomials of degree $d$ in $n+1$ variables over $k$ is a projective variety.
It seems to me that instead of considering the set $S$ of all homogeneous polynomials of degree $d$ in $n+1$ variables, we should consider $S/\sim$ where $f \sim g \in S$ if and only if there exists some nonzero scalar $a \in k$ so that $af = g.$ Here is what I have tried that has led me to this conclusion:
Proof. Let $L$ consist of all homogeneous polynomials of degree $d$ in $n+1$ variables over $k$ as well as the zero polynomial. Then $L$ is an $\binom{n+d}{d}$ dimensional vector space. There is a vector space isomorphism $L \to k^{\binom{n+d}{d}}$ given by mapping a polynomial $f$ to the $\binom{n+d}{d}$-tuple consisting of the coefficients of $f$. This isomorphism identifies one dimensional linear subspaces of $L$ with one dimensional linear subspaces of $k^{\binom{n+d}{d}}.$ That is, $S/\sim \cong \mathbb{P}^{\binom{n+d}{d}-1}$ as topological spaces.
Have I made an error in my reasoning, or am I right that the projective variety is $S/\sim$ instead of $S?$
