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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generators and presentations for direct and wreath products of monoid acts
scientific article

    Statements

    Generators and presentations for direct and wreath products of monoid acts (English)
    0 references
    0 references
    18 February 2020
    0 references
    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.
    0 references
    0 references
    monoid act
    0 references
    presentation
    0 references
    direct product
    0 references
    wreath product
    0 references

    Identifiers