Right projective semigroups with 0 (Q1602661)

Here \(S\) always denotes a semigroup with zero 0, right \(S\)-objects (= right \(S\)-acts) \(M_S\) and \(S\)-homomorphisms are defined as usual with the additional requirement that \(M_S\) has a distinguished zero element \(0_M\) such that \(_M0=0_M\). Set \(A:=S\setminus S^2\) and \(I:=\bigcap_{1\leq i\leq\infty}S^i\), \(\langle A\rangle\) the subsemigroup generated by \(A\), \(T:=\langle A\rangle\cup\{0\}\), \(B:=\bigcap_{1\leq i\leq\infty}T^iI\) and assume that \(A\not=\emptyset\). The following ist proved: The semigroup \(S\) is right projective iff (a) \(A\) is a set of left cancellable elements, (b) \(aI\cap bI=\{0\}\) for all \(a,b\in A\) such that \(a\not=b\), (c) every maximal indecomposable right ideal is a principal right ideal, and (d) every maximal principal right ideal \(R\) with \(R=RS\) is isomorphic with an idempotent-generated right ideal. Let now \(S\) be a semigroup with \(0\) which is a disjoint union of a subsemigroup \(T\) such that \(\bigcap_{1\leq i<\infty}T^i=\{0\}\) and a two-sided ideal \(I\subseteqq S^2\). Then the following are equivalent: (0) \(S\) is a free semigroup with 0. (1) \(S^2\not=S\), \(S\) is 0-cancellative, \(S_S\) projective, and \(I_S\) finitely generated. (2) \(S\) is 0-cancellative, \(S_S\) free, and \(I_S\) finitely generated. (3) \(S\) is right 0-cancellative, \(S_S\) projective, \(B_S\) finitely generated, and \(K^2\not=K\) for every non-zero ideal \(K\). (4) \(S\) is right free and satisfies the restricted minimal condition for principal right ideals. (5) \(S\) is right free and satisfies the restricted minimal condition for principal ideals. (6) \(S\) is right 0-cancellative and \(S_S\) and \(B_B\) are free. (7) \(S_S\) and \(_SI\) are free. Moreover, a structural characterization of concatenation monoids of bound \(\omega +1\) and of their right free Rees factor semigroups is given. The semigroup \(S\) as bioperand \(_SS_S\) is projective iff \(S=S^2\) and \(S\) is isomorphic with a 0-disjoint union of ideals which are Ress matrix semigroups over the two-element monoid \(\{0,1\}\). In the final section ``generalizations'' the author considers flatness properties from monoid acts and adopts them for semigroups acts. He suggests to consider right projective semigroups with respect to certain sets of identities. Finally he lists some observations about rings considered as semigroups over Abelian groups.