1 Preliminaries on monoids Definition 1.1. An Abelian monoid is a set with a binary, associative, and commutative operation which has a neutral element. It will often be called just a monoid in this manuscript because we will not deal with non-commutative monoids. A monoid M is called • finitely generated if there is a finite set of generators, or equivalently if there is a surjection of monoid...