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.