Classification of monoids by injectivities. II: CC-injectivity. (Q2480771)

[For part I cf. the authors, ibid. 76, No. 1, 169-176 (2008; see the preceding review Zbl 1141.20042).] For a monoid \(S\), a right \(S\)-act \(A_S\) is called `C-injective' if for any \(S\)-act \(N_S\), any cyclic subact \(M_S=aS\), \(a\in N\), and any homomorphism \(f\colon M_S\to A_S\), there exists a homomorphism \(f\colon N_S\to A_S\) extending \(f\). An \(S\)-act \(A_S\) is said to be `CC-injective' if it is injective relative to all embeddings of cyclic subacts into cyclic acts. A system of equations over an \(S\)-act \(A\) is called a `\(*\)-type system over \(A\)' if it consists of equations of the form \(xs=xt\), \(s,t\in S\), and of no more than one equation of the form \(xs=a\), \(a\in A\). Among other results, the following in proved: 1) An \(S\)-act \(A_S\) is CC-injective and has a zero if and only if every \(*\)-type consistent system of equations over \(A\) has a solution in \(A\); 2) All \(S\)-acts are CC-injective if and only if every principal right ideal of \(S\) is generated by a right special idempotent. If all cyclic \(S\)-acts have cyclic envelopes then all \(S\)-acts are C-injective if and only if all \(S\)-acts are CC-injective.