Wreath products of monoids with small categories whose one-sided ideals form chains (Q1345732)

Let \(S\) be a monoid and \(K\) a small category whose set of objects forms a left \(S\)-act. \(S\) is said to be compatible with \(K\) if for all \(a,b\in K\) one has \(M(a,b)\neq\emptyset\) iff there exists \(s\in S\) with \(sa=b\). If \(M(a,b)\neq\emptyset\Leftrightarrow M(b,a)\not=\emptyset\) always holds then the category \(K\) is called symmetric. \(K\) is a group category if every morphism is invertible. The category \(K\) is called thin if \(|M(x,y)|=1\) for all \(x,y\in K\). The wreath product of \(S\) and \(K\) is the monoid \(W=\{(s,f)\mid s\in S,\;f\in F(K,M)\), \(f(a)\in M(a,sa)\}\) with multiplication \((s,f)(p,g)=(sp,f_p g)\), where \((f_pg)(a)=f(pa)g(a)\). The class of monoids whose principal left (right) ideals form a chain with respect to inclusion is denoted by \textbf{PLIC} (\textbf{PRIC}). Conditions for a symmetric indecomposable category \(K\) and for a monoid \(S\) (compatible with \(K\)) are found for which \(\text{S wr }K\) belongs to \textbf{PLIC} or to \textbf{PRIC}. For example, \(\text{ Swr }K\in{\mathbf{PLIC}}\) if and only if one of the following two conditions is valid: 1) \(K\) is a group category, \(S\in\mathbf{PLIC}\) and \(K\) is a strongly faithful \(S\)-act or a thin category; 2) \(K\) is a \(z\)-pointed group category, \(M(z,z)\in\mathbf{PLIC}\) and \(S\) is a group.