Finitely generated left commutative semigroups are residually finite
subdirectly irreducible left commutative semigroups
scientific article; zbMATH DE number 3832217