An equivariant Hilbert basis theorem

Daniel Erman, Steven V Sam, Andrew Snowden

We prove a version of the Hilbert basis theorem in the setting of equivariant algebraic geometry: given a group G acting on a finite type morphism of schemes X -> S, if S is topolo…