1: \begin{abstract}

2:  If a finitely generated monoid $M$ is defined by a finite number of degree-preserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call ``sandwiches'') of the form $a\la w \ra  b$ where $a,b,w \in M$ and $\la w \ra $ denotes the monogenic semigroup generated by $w$. Moreover, the decomposition can be chosen in such a way that the sandwiches are either singletons or ``free'' ones (meaning that all elements $aw^nb$ in each sandwich are pairwise different). So, the minimal number of free sandwiches in such a decompositions becomes a new numerical invariant of a homogeneous (and conjecturally, non-homogeneous) finitely presented monoid of linear growth. 

3:  \end{abstract}

4: