Let $X$ be a quasiprojective variety over the complex numbers. Its symmetric power $S^nX$ is defined as follows: Let the symmetric group $S_n$ act on the power $X^n$ by permutation of coordinates and let $S^nX$ be the quotient by this group action. Can you tell about some book, where I can find a proof of the fact that $S^nX$ is also a quasiprojective variety?
