This paper gives a short
semigroup theoretic proof that finitely generated commutative semigroups are
residually finite. The approach is to use Schein’s classification of subdirectly
irreducible commutative semigroups and show that a finitely generated subdirectly
irreducible commutative semigroup is finite.