Finite generation and presentability of wreath products of monoids. (Q1406755): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Edmund F. Robertson / rank | |||
Property / author | |||
Property / author: Nikola Ruškuc / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q587384 / rank | |||
Property / author | |||
Property / author: Edmund F. Robertson / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Nikola Ruškuc / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Heinz Mitsch / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wreath products and finitely presented groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructions and presentations for monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4840945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Presentations for subgroups of monoids / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:40, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite generation and presentability of wreath products of monoids. |
scientific article |
Statements
Finite generation and presentability of wreath products of monoids. (English)
0 references
7 September 2003
0 references
Let \(A\) and \(B\) be monoids and \(A^B\) the set of all functions \(f\colon B\to A\). Defining \(x(fg)=(xf)(xg)\) and \(x{^bf}=(xb)f\) for any \(x,b\in B\), \(f,g\in A^B\), the wreath product \(A\,\text{Wr}\,B\) is the set \(A^B\times B\) together with the operation: \((f,b)(g,c)=(f{^bg},bc)\). If \(A^{(B)}\) denotes the set of all \(f\in A^B\) with finite support (i.e., \(\{x\in B\mid xf\neq 1_A\}\) is finite) then the submonoid of \(A\,Wr\,B\) generated by \(A^{(B)}\times B\) is called the restricted wreath product of \(A\) by \(B\). The following two important theorems are proved: (1) Let \(A\) and \(B\) be monoids and let \(G\) be the group of units of \(B\); then the restricted wreath product of \(A\) by \(B\) is finitely generated if and only if both \(A\) and \(B\) are finitely generated, and either \(A\) is trivial, or \(B=VG\) for some finite subset \(V\) of \(B\). (2) The restricted wreath product of monoids \(A\) and \(B\) is finitely presented if and only if either \(A\) is finitely presented and \(B\) is finite, or \(A\) is trivial and \(B\) is finitely presented. This result is identical to that on groups found by \textit{G. Baumslag} [Math. Z. 79, 22--28 (1961; Zbl 0090.24402)].
0 references
finitely generated monoids
0 references
finitely presented monoids
0 references
wreath products
0 references
generators
0 references
presentations
0 references
groups of units
0 references