On covers of acts over monoids with condition \((PF'')\) and envelopes of \(S\)-acts (Q2031442): Difference between revisions

Conditions \((P')\), \((E')\) for a right \(S\)-act \(A\) of a monoid \(S\) are defined by \((P')\): \begin{align*} & (\forall a,a' \in A)(\forall s,t,z \in S)(as = a't \wedge sz = tz \\ & \Rightarrow (\exists a'' \in A)(\exists u,v \in S)(a = a''u \wedge a' = a''v \wedge us = vt)) \end{align*} \((E')\): \begin{align*} & (\forall a \in A)(\forall s,s',z \in S)(as = as' \wedge sz = s'z \\ & \Rightarrow (\exists a' \in A)(\exists u \in S)(a = a'u \wedge us = us')) \end{align*} \((PF'') = (P') \wedge (E')\). Here, necessary and sufficient conditions for a cyclic act to have a \((PF'')\)-cover are given and examples of classes of monoids where all cyclic \(S\)-acts have a \((PF'')\)-cover are presented.