>This might be a silly question but is there a criterion for when the quotient of $k[X_1,\ldots, X_n]$ by some ideal is isomorphic to a polynomial ring? For instance $k[X,Y]/\langle Y \rangle \simeq k [X]$ but $k[X,Y]/\langle Y^2 \rangle$ is not a polynomial ring.