The congruences on the semigroup of balanced transformations of an infinite set
type: Item
instance of: scholarly article
title: The congruences on the semigroup of balanced transformations of an infinite set
zbMATH Open document ID: 0968.20034
author: M. Paula O. Marques-Smith
author: R. P. Sullivan
published in: Journal of Algebra
publication date: 2001-08-27T00:00:00Z
full work available at URL: http://hdl.handle.net/1822/7450
review text: \(T(X)\) denotes the full transformation semigroup on an infinite set \(X\). For \(\alpha\in T(X)\), let \(r(\alpha)=|X\alpha|\), \(d(\alpha)=|X\setminus X\alpha|\), \(s(\alpha)=|\{x\in X:x\alpha\neq x\}|\), and \(c(\alpha)=|\cup\{y\alpha^{-1}:|y\alpha^{-1}|\geq 2\}|\). Next, let \(H=\{\alpha\in T(X):d(\alpha)=s(\alpha)=c(\alpha)\geq\aleph_0\}\). \(H\) is a subsemigroup of \(T(X)\) and is referred to as the semigroup of balanced transformations on \(X\). In this paper, the authors describe all the congruences on the semigroup \(H\). Let \(k=|X|\) and let \(k'\) denote the immediate successor of \(k\). If \(\aleph_0\leq\delta\leq k\) and \(2\leq\eta\leq k'\), then \(H(\delta,\eta)=\{\alpha\in H:d(\alpha)\geq\delta\) and \(r(\alpha)<\eta\}\) is an ideal of \(H\) and every ideal of \(H\) has this form. The Rees congruence on \(H\) determined by this ideal is denoted by \(H(\delta,\eta)^*\). Let \(D(\alpha,\beta)=\{x\in X:x\alpha\neq x\beta\}\) and \(\text{dr}(\alpha,\beta)=\max\{|D(\alpha,\beta)\alpha|,|D(\alpha,\beta)\beta|\}\). Then let \(\Delta_\xi=\{(\alpha,\beta)\in T(X)\times T(X):\text{dr}(\alpha,\beta)<\xi\}\). The authors show, for example, that if \(\xi_i\), \(\eta_i\) are infinite cardinal numbers with the possible exception of \(\xi_r\) which may be 1 such that \(\xi_r<\cdots<\xi_1\leq\eta_1<\cdots<\eta_r\leq k\), then \[ H(k,\eta_1)^*\cup[\Delta_{\xi_1}\cap H(k,\eta_2)^*]\cup\cdots\cup[\Delta_{r-1}\cap H(k,\eta_r)^*]\cup[\Delta_{\xi_r}\cap(H\times H)] \] is a congruence on \(H\) and every congruence on \(H\) which satisfies certain conditions is of this form.
Mathematics Subject Classification ID: 20M20
Mathematics Subject Classification ID: 08A30
Mathematics Subject Classification ID: 20M12
zbMATH DE Number: 1565852
zbMATH Keywords: full transformation semigroups
zbMATH Keywords: semigroups of balanced transformations
zbMATH Keywords: congruences
zbMATH Keywords: ideals
reviewed by: jun. Kenneth D. Magill
MaRDI profile type: Publication
OpenAlex ID: W2084471450
cites work: Q3848243
cites work: The Subsemigroup Generated By the Idempotents of a Full Transformation Semigroup
cites work: Some subsemigroups of infinite full transformation semigroups
cites work: A class of bisimple, idempotent-generated congruence-free semigroups
cites work: A congruence-free semigroup associated with an infinite cardinal number
cites work: Nilpotents and congruences on semigroups of transformations with fixed rank
cites work: The ideal structure of idempotent-generated transformation semigroups
cites work: Congruences on Transformation Semigroups with Fixed Rank
DOI: 10.1006/JABR.2000.8391
description: scientific article; zbMATH DE number 1565852