On the Factoriality of Cox rings

The generalized Cox construction associates with an algebraic variety a remarkable invariant — its total coordinate ring, or Cox ring. In this note, we give a new proof of the factoriality of the Cox ring when the divisor class group of the variety is finitely generated and free. The proof is based on the notion of graded factoriality. We show that if the divisor class group has torsion, then the Cox ring is again factorially graded, but factoriality may be lost.