Projects per year
Abstract
For a semigroup π whose universal right congruence is finitely generated (or, equivalently, a semigroup satisfying the homological finiteness property of being type rightπΉπ_{1}), the right diameter of π is a parameter that expresses how βfar apartβ elements of π can be from each other, in a certain sense. To be more precise, for each finite generating set π for the universal right congruence on π, we have a metric space (π, π_{π} ) where π_{π} (π, π) is the minimum length of derivations for (π, π) as a consequence of pairs in π; the right diameter of π with respect to π is the diameter of this metric space. The right diameter of π is then the minimum of the set of all right diameters with respect to finite generating sets. We develop a theoretical framework for establishing whether a semigroup of transformations or partitions on an arbitrary infinite set π has a finitely generated universal right/left congruence, and, if it does, determining its right/left diameter. We apply this to prove results such as the following. Each of the monoids of all binary relations on π, of all partial transformations on π, and of all full transformations on π, as well as the partition and partial Brauer monoids on π, have right diameter1 and left diameter 1. The symmetric inverse monoid on π has right diameter 2 and left diameter 2. The monoid of all injective mappings on π has right diameter 4, and its minimal ideal (called the BaerβLevi semigroup on π)has right diameter 3, but neither of these two semigroups has a finitely generated universal left congruence. On the other hand, the semigroup of all surjective mappings on π has left diameter 4, and its minimal ideal has left diameter 2, but neither of these semigroups has a finitely generated universal right congruence.
Original language  English 

Article number  e12944 
Number of pages  34 
Journal  Journal of the London Mathematical Society 
Volume  110 
Issue number  1 
Early online date  13 Jun 2024 
DOIs  
Publication status  Published  Jul 2024 
Keywords
 Transformation semigroup
 Partition monoid
 (Congruence) generating set
 Derivation sequence
 Diameter
Fingerprint
Dive into the research topics of 'On the diameter of semigroups of transformations and partitions'. Together they form a unique fingerprint.Projects
 1 Finished

Right Noetherian and coherent monoids: Right Noetherian and coherent monoids
Ruskuc, N. (PI)
1/01/21 β 31/12/23
Project: Standard