1: \begin{abstract}

2: 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 \to S$, if $S$ is topologically $G$-noetherian, then so is $X$.

3: \end{abstract}

4: