1 problem

Let $K[X^1,\dots,X^k]$ be the polynomial ring in $k$ sets of countably many variables, with $\operatorname{Sym}(\infty)$ permuting the indices. Let $I\subset K[X^1,\dots,X^k]$ be a…