Theory of Finitely Generated Commutative Semigroups