finitely generated monoid