Gröbner bases are computational and combinatorial tools in algebra and geometry. In this talk, we'll introduce them and relate the existence of finite Gröbner bases to the noetherianity property. We'll then give an adaptation of Gröbner bases for non-noetherian rings that takes into account natural equivariant structures of the rings and describe how such rings exhibit "noetherianity up to symmetry".