Generators and presentations for direct and wreath products of monoid acts (Q2297059)

Let \(M\) be a monoid. The direct product \(M\times M\) (considered as a right \(M\)-act) is called \textit{the diagonal \(M\)-act}. It is proved that the diagonal \((M\times N)\)-act is finitely generated (finitely presented) if and only if the diagonal \(M\)-act and the diagonal \(N\)-act are finitely generated (finitely presented, respectively). The author introduces a new term by saying that a monoid \(M\) \textit{preserves property} \(\mathcal P\) if it satisfies the following: for any two \(M\)-acts \(A\) and \(B\), the direct product \(A\times B\) satisfies property \(\mathcal P\) if and only if both \(A\) and \(B\) satisfy \(\mathcal P\). A presentation of \(A\times B\) through the presentations of \(A_M\), \(B_M\) and the diagonal \(M\)-act is derived. As a consequence, \(M\) preserves finite presentability if and only if the diagonal \(M\)-act is finitely presented. It is also proved that the wreath product \(A_M\wr B_N\) is finitely presented (over the wreath product of \(M\) by \(N\) through \(A_M\)) if and only if both \(A_M\) and \(B_N\) are finitely presented. Several examples and some sufficient conditions for a wreath product of acts to be finitely presented are derived.