Noetherianity of polynomial rings up to group actions

Liping Li, Yinhe Peng, Zhengjun Yuan

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to hi…