Wreath products of acts over monoids. II: Torsion free and divisible acts (Q1122665)

The article continues Part I [ibid. 51, 251-260 (1988; Zbl 0647.20070)], written by the last two authors. Let S, R be monoids and let \({}_ RA\) be a left R-act and \({}_ SB\) a left S-act. Denote with T the wreath product of the monoids R and S by \({}_ RA\) and with \({}_ TC\) the wreath product of \({}_ RA\) and \({}_ SB\) over T. An element \(r\in R\) acts injectively (surjectively) on \({}_ RA\) if \(ra=ra'\) implies \(a=a'\) \((rA=A\), respectively). If every \(r\in R\) acts injectively (surjectively) on \({}_ RA\) then it is said that R acts injectively (resp. surjectively) on \({}_ RA\). It is shown that T acts injectively (surjectively) on \({}_ TC\) if and only if R acts injectively (surjectively) on \({}_ RA\) and S acts injectively (resp. surjectively) on \({}_ SB\). The left R-act \({}_ RA\) is called torsion free (divisible) over R if every left (resp. right) cancellable element of R acts injectively (resp. surjectively) on \({}_ RA\). Conditions for \({}_ TC\) to be torsion free or divisible are founded.