On diagonal acts of monoids

DOI10.1017/S0004972700019225MaRDI QIDQ2716972zbMATH OpenFDO

Authors M. R. Thomson, E. F. Robertson, N. Ruškuc

Publication date 28 November 2001

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0004972700019225

zbMATH Keywords

bi-actscyclic actsdiagonal actsfinitely generated monoidsfinitely presented monoidsmonoids of partial recursive functionspower monoids

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Free semigroups, generators and relations, word problems (20M05) Semigroups of transformations, relations, partitions, etc. (20M20) Representation of semigroups; actions of semigroups on sets (20M30)

Review text

For a monoid \(M\), the set \(M\times M\) (with natural multiplication) is called a diagonal \(M\)-act. The power monoid \({\mathcal P}_f(M)\) of \(M\) is defined as the set of all finite subsets of \(M\), under the multiplication \(AB=\{ab:a\in A,\;b\in B\}\). Let \(R_N\) be the monoid of all partial recursive functions in one variable. It is proved that \(R_N\) is finitely generated but not finitely presented. The paper gives an example of an infinite finitely presented monoid \(P\) such that \(P\times P\) is both a cyclic right and cyclic left \(P\)-act as well as an example of a monoid \(C\) for which \(C\times C\) is finitely generated as a right \(C\)-act but not finitely generated as a left \(C\)-act. Some links between diagonal and power acts are established. For example: if \({\mathcal P}_f(M)\) is finitely generated then \(M\times M\) is a finitely generated bi \(M\)-act.

Recommendations

• Flatness properties of diagonal acts over monoids.
• Separating monomials for diagonalizable actions
• A note on actions of some monoids
• Dedekind-finite acts over monoids
• ON CATEGORIES OF MONOID-ACTIONS
• Characterizations of monoids by regular acts
• On lifting acts over monoids
• Characterization of monoids by \(C (E')\)-acts
• On the Finite and Nonfinite Generation of Diagonal Acts
• Representation of monoids in the category of monoid acts

Cited in

(10)

• Generators and presentations for direct and wreath products of monoid acts
• Presentations for singular wreath products
• Automatic structures for semigroup constructions.
• Acts over semigroups
• A note on actions of some monoids
• On the growth of generating sets for direct powers of semigroups.
• ON FINITE GENERATION AND OTHER FINITENESS CONDITIONS FOR WREATH PRODUCTS OF SEMIGROUPS
• On the Finite and Nonfinite Generation of Diagonal Acts
• On minimal ideals in pseudo-finite semigroups
• On the diameter of semigroups of transformations and partitions

This page was built for publication: On diagonal acts of monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2716972)