Noetherianity up to Symmetry

Jan Draisma

Noetherianity is a fundamental property of modules, rings, and topological spaces that underlies much of commutative algebra and algebraic geometry. This talk concerns algebraic structures such as the infinite-dimensional polynomial ring K[x_1,x_2,....] that are not Noetherian as such, but become Noetherian when we regard them up to the action of a large symmetry group.

https://www.ias.edu/video/noetherianity-symmetry