Abstract:Abstract For 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.

Transposition diameter on circular binary strings

A barrier for further approximating Sorting By Transpositions

On a diameter bound for Cayley graphs generated by transposition trees

On the diameter of semigroups of transformations and partitions

Characterization of the lengths of binary circular words containing no squares other than 00, 11, and 0101

Constructing error-correcting binary codes using transitive permutation groups

Prefix Block-Interchanges on Binary and Ternary Strings

Integrality, duality and finiteness in combinatoric topological strings

On the combinatorics of circular codes

The cylindrical width of transitive sets

Using binary string to prove the Collatz conjecture

Algorithms for determining transposons in gene sequences

PERMUTATION COMPLEXITY AND THE LETTER DOUBLING MAP

Diameter of classical groups generated by transvections

Relative position in binary substitutions

A Generalization of the Tang-Ding Binary Cyclic Codes

Constructing segments of quadratic length in $Spec(T_n)$ through segments of linear length

Binary $[n,(n\pm1)/2]$ cyclic codes with good minimum distances from sequences

The poset of king permutations on a cylinder

Divergent geodesics, ambiguous closed geodesics and the binary additive divisor problem