A finitely presented monoid with a non-finitely generated group of units.
The authors construct a finitely presented monoid with infinitely generated group of units. Let \(FG_\infty\) be the free group on infinite generators \(a_0,a_1,\dots\), and let \(\tau\colon FG_\infty\to FG_\infty\) be the morphism defined by \(\tau(a_i)=a_{i+1}\). Let \(M_1=\text{BR}(FG_\infty,\tau)\) be the Bruck-Reilly extension. Then, \(M_1\) is a monoid generated by four elements \(a\), \(a^{-1}\), \(b\), \(c\). Let \(\theta\colon M_1\to M_1\) be a morphism defined by \(\theta(b)=b\), \(\theta(c)=c\), \(\theta(a^{\pm 1})=ba^{\pm 1}c\). Then, the Bruck-Reilly extension \(M=\text{BR}(M_1,\theta)\) is a finitely presented monoid with the unit group isomorphic to \(FG_\infty\).
- Generalized Bruck-Reilly *-extension as a new example of a monoid with a non-finitely generated group of units.
- Non-finitely generated maximal subgroups of context-free monoids
- FINITE PRESENTABILITY OF BRUCK–REILLY EXTENSIONS OF CLIFFORD MONOIDS
- On Presentations of Bruck–Reilly Extensions
- Finite presentability of generalized Bruck-Reilly -extension of groups
This page was built for publication: A finitely presented monoid with a non-finitely generated group of units.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642856)
