Residual finiteness of finitely generated commutative semigroups
W. Homer Carlisle · Pacific Journal of Mathematics · 1971
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.