Some new characterizations of right cancellative monoids by condition (PWP). (Q818947)

Let \(S\) be a monoid. A right \(S\)-act \(A_S\) is said to satisfy condition (PWP) if \[ (\forall\,a,a'\in A_S)(\forall s\in S)\;(as=a's\Rightarrow (\exists a''\in A_S)(\exists u,v\in S)\;(a=a''u\wedge a'=a''v\wedge us=vs)). \] Condition (PWP) is a generalization of condition (P) and is introduced by Valdis Laan in 2001. In this paper, the author gives some new characterization of right cancellative monoids by using condition (PWP). The author proves that the following conditions on monoids are equivalent: (1) \(S\) is right cancellative; (2) There exists a regular left \(S\)-act and \(|E(S)|=1\); (3) There exists a regular left \(S\)-act and all flat right \(S\)-acts satisfy condition (PWP); (4) There exists a regular left \(S\)-act and all weakly flat right \(S\)-acts satisfy condition (PWP); (5) There exists a regular left \(S\)-act and all principally weakly flat right \(S\)-acts satisfy condition (PWP).