1: \begin{abstract}

2: We consider a large class of monomial maps respecting an action of the

3: infinite symmetric group, and prove that the toric ideals arising as

4: their kernels are finitely generated up to symmetry. Our class includes

5: many important examples where Noetherianity was recently proved or

6: conjectured. In particular, our results imply Hillar-Sullivant's

7: Independent Set Theorem and settle several finiteness conjectures due

8: to Aschenbrenner, Martin del Campo, Hillar, and Sullivant.

9: 

10: We introduce a {\em matching monoid} and show that it is Noetherian up

11: to symmetry. Our approach is then to factorize an equivariant monomial

12: map into two parts going through this monoid. The kernels of both parts

13: are finitely generated up to symmetry: we find an explicit degree

14: bound for the kernel of the first part, while for the second part the

15: finiteness follows from the Noetherianity of the matching monoid.

16: \end{abstract}