Affiliation:
1. Centre for Research in Mathematics and Data Science Western Sydney University Sydney Australia
2. Department of Mathematics University of York York UK
3. School of Mathematics and Statistics University of St Andrews, Mathematical Institute St Andrews UK
Abstract
AbstractFor a semigroup whose universal right congruence is finitely generated (or, equivalently, a semigroup satisfying the homological finiteness property of being type right‐), 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 diameter 1 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.
Funder
Engineering and Physical Sciences Research Council
Australian Research Council