1: \begin{abstract}

2:   We study how to lift Markov bases and Gr\"obner bases along linear maps of lattices.  We give a lifting algorithm that

3:   allows to compute such bases iteratively provided a certain associated semigroup is normal. 

4:   Our main application is the toric fiber product of toric ideals, where lifting gives Markov bases of the factor

5:   ideals that satisfy the compatible projection property.  We illustrate the technique 

6: % in a number of examples where we

7:   by computing Markov bases of various infinite families of hierarchical models.  The methodology also implies new

8:   finiteness results for iterated toric fiber products.

9: 

10:   \ifarxiv

11:   \medskip

12:   \noindent

13:   \textbf{Keywords:}

14:   {Markov bases, toric fiber product, lifting, Gr\"obner bases}

15:   \fi

16: \end{abstract}

17: