On residual finiteness of monoids, their Schützenberger groups and associated actions. (Q402658)

A monoid is residually finite if for any two elements there exists a homomorphism to a finite monoid which separates these elements. Here are studied connections between residual finiteness of a monoid \(M\) and the residual finiteness of the Schützenberger groups of \(\mathcal H\)-classes of \(M\) and the (left) action of \(M\) on its \(\mathcal L\) (\(\mathcal R\))-classes. Besides general monoids are obtained results also for monoids where every \(\mathcal J\)-class is of finite type and for monoids with finitely many left and right ideals.