A note on Birget-Rhodes expansion of groups
type: Item
instance of: scholarly article
title: A note on Birget-Rhodes expansion of groups
zbMATH Open document ID: 0676.20045
DOI: 10.1016/0022-4049(89)90054-6
author: Mária B. Szendrei
published in: Journal of Pure and Applied Algebra
publication date: 1989-01-01T00:00:00Z
review text: Let \(S\) be a semigroup. For \(s_ 1,...,s_ k\in S\) put \(P(s_ 1,...,s_ k)=\{1,s_ 1,s_ 1s_ 2,...,s_ 1s_ 2...s_ k\}\). Define \(\tilde S^ R=\{(P(s_ 1,...,s_ k),s_ 1s_ 2...s_ k)\mid s_ i\in S\), \(k\geq 1\}\). It is known that, with appropriate multiplication, \(\tilde S^ R\) is a semigroup. If \(\phi:S\to T\) is a semigroup homomorphism then defining \(\tilde\phi^ R: \tilde S^ R\to \tilde T^ R\) by \[ (P(s_ 1,...,s_ k),s_ 1...s_ k){\tilde \phi}^ R=(P(s_ 1\phi,...,s_ k\phi),s_ 1\phi...s_ k\phi) \] we get a functor \((\tilde .)R\), called the Birget-Rhodes expansion. Denote by \(\sigma =\sigma_ S\) the least group congruence on \(S\). An inverse semigroup is called F-inverse if every \(\sigma\)-class has a greatest element with respect to the natural partial order. It is proved that \((\tilde .)^ R\) is a functor from the category of groups into the category of F-inverse semigroups and that this functor is a left adjoint of the functor assigning the greatest group homomorphic image to any F-inverse semigroup. An abstract characterization of \(\tilde G^ R\) for any group \(G\) is presented.
Mathematics Subject Classification ID: 20M50
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 4107112
zbMATH Keywords: Birget-Rhodes expansion
zbMATH Keywords: least group congruence
zbMATH Keywords: inverse semigroups
zbMATH Keywords: functors
zbMATH Keywords: category of F-inverse semigroups
reviewed by: Peeter Normak
MaRDI profile type: Publication
full work available at URL: 0022-4049(89)90054-6
OpenAlex ID: W1979153145
cites work: Almost finite expansions of arbitrary semigroups
cites work: Group theory via global semigroup theory
cites work: Q5639839
cites work: Q3746024
cites work: Q3337662
description: scientific article; zbMATH DE number 4107112