Embedding any countable semigroup in a 2-generated congruence-free semigroup
type: Item
instance of: scholarly article
title: Embedding any countable semigroup in a 2-generated congruence-free semigroup
zbMATH Open document ID: 0702.20045
DOI: 10.1007/BF02573385
author: Karl Byleen
published in: Semigroup Forum
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/135043
review text: Let (S,.) be a semigroup and A, B sets which are mutually disjoint and disjoint from S. Let \(\alpha: A\times S\to A\), \((a,s)\to a\triangleright s\) and \(\beta: S\times B\to B\), \((s,b)\to s\triangleleft b\) be right and left semigroup actions, respectively. Let \(P=(p_{a,b})\) be an \(A\times B\)-matrix with entries in \(S\cup A\cup B\) such that \(p_{a\triangleright s,b}=p_{a,s\triangleleft b}\) for all \(a\in A\), \(b\in B\) and \(s\in S\). Then \({\mathcal C}(S;\alpha,\beta;P)\) is the semigroup generated by the elements of \(S\cup A\cup B\) subject to the defining relations \(ab=p_{a,b}\), \(as=a\triangleright s\), \(sb=s\triangleleft b\), \(st=s.t\), for all \(a\in A\), \(b\in B\), s,t\(\in S\). One can show that the mapping \(S\to {\mathcal C}(S;\alpha,\beta;P)\), \(s\to s\), is an embedding. If S contains an identity, then a modification of the above construction yields a monoid \({\mathcal C}^ 1(S;\alpha,\beta;P)\) so that again \(S\to {\mathcal C}^ 1(S;\alpha,\beta;P)\) is a monoid embedding. Properties satisfied by \(\alpha\), \(\beta\) or P translate into properties enjoyed by \({\mathcal C}(S;\alpha,\beta;P)\) or \({\mathcal C}^ 1(S;\alpha,\beta;P)\). Using the above construction the author proves the following remarkable results: 1. any [countable] semigroup can be embedded in a [2-generated] congruence free bisimple semigroup with identity, 2. any [countable] semigroup without idempotents can be embedded in a [2-generated] congruence free semigroup without idempotents.
Mathematics Subject Classification ID: 20M10
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 4150514
zbMATH Keywords: embedding theorems
zbMATH Keywords: 2-generated semigroups
zbMATH Keywords: semigroup actions
zbMATH Keywords: defining relations
zbMATH Keywords: monoid embeddings
zbMATH Keywords: congruence free bisimple semigroups
zbMATH Keywords: congruence free semigroups without idempotents
reviewed by: Francis Pastijn
MaRDI profile type: Publication
cites work: Q3248988
cites work: Embedding any countable semigroup in a 2-generated bisimple monoid
cites work: Embedding any countable semigroup without idempotents in a 2-generated simple semigroup without idempotents
cites work: Q3848243
cites work: Embedding Theorems for Multiplicative Systems and Projective Geometries
cites work: Q4063641
cites work: Q3885931
cites work: A class of bisimple, idempotent-generated congruence-free semigroups
cites work: Q4126563
cites work: Embedding semigroups in \({\mathcal D}\)-trivial semigroups
cites work: Q4145882
cites work: Embedding semigroups in congruence-free semigroups
cites work: Embedding Any Semigroup In a D -Simple Semigroup
cites work: Embeddings into Simple Groups
description: scientific article; zbMATH DE number 4150514