A finitely presented monoid with a non-finitely generated group of units.
type: Item
instance of: scholarly article
title: A finitely presented monoid with a non-finitely generated group of units.
zbMATH Open document ID: 1134.20063
author: N. Ruškuc
author: Catarina Carvalho
published in: Archiv der Mathematik
publication date: 2007-09-06T00:00:00Z
review text: 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\).
reviewed by: Yuji Kobayashi
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 5187703
zbMATH Keywords: finitely presented monoids
zbMATH Keywords: unit groups
zbMATH Keywords: Bruck-Reilly extensions
MaRDI profile type: MaRDI publication profile
full work available at URL: s00013-007-2138-y
OpenAlex ID: W2013162451
DOI: 10.1007/S00013-007-2138-Y
description: scientific article; zbMATH DE number 5187703