A characterization of regular monoids by flatness of left acts (Q1206786)

Let \(S\) be a monoid. A left \(S\)-act \({_ SA}\) is said to satisfy condition \((E)\) if whenever \(sa=ta\), \(s,t\in S\), \(a\in A\), then there exist \(b\in A\), \(u\in S\), such that \(su=tu\) and \(a=ub\). \({_ SA}\) is called flat if the functor \(-\otimes_ SA\) preserves monomorphisms. It is proved that all left \(S\)-acts satisfying condition \((E)\) are flat if and only if \(S\) is regular.