Separability conditions in acts over monoids (Q2166118)

The well-known algebraic notion of residual finiteness is considered as an instance of separability condition of elements from subsets of a particular type. Let \(\mathcal{K}\) be a class of algebras, \(A \in \mathcal{K}\) and \(S\) be a set of nonempty subsets of \(A\). \(A\) is said to satisfy the separability condition with respect to \(S\) if for any \(X \in S\) and any \(a \in A\setminus X\), there exist a finite algebra \(C \in \mathcal{K}\) and a homomorphism \(\theta : A \to C\) such that \(\theta (a) \notin \theta (X) \). The author singles out the following types of separability conditions where \(S\) is 1) the set of all finitely generated subalgebras (weakly subalgebra separability), 2) the set of all subalgebras (strongly subalgebra separability) and 3) the set of all non-empty subsets (completely separability). \par In the paper, \(\mathcal{K}\) is a class of monoid acts, and residual finiteness and mentioned separability conditions for this class are discussed. In particular, it is proved that all acts over a finite monoid are completely separable, all finitely generated acts over a finitely generated commutative monoid are residually finite and strongly subact separable, all acts over a commutative idempotent monoid are residually finite and strongly subact separable, and all acts over a Clifford monoid are strongly subact separable.