Title: The theory of finitely generated commutative semigroups