Residual finiteness of finitely generated commutative semigroups

Abstract

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.