Abstract:For a semigroup $S$ whose universal right congruence is finitely generated (or, equivalently, a semigroup satisfying the homological finiteness property of being type right-$FP_1$), the right diameter of $S$ is a parameter that expresses how `far apart' elements of $S$ can be from each other, in a certain sense. To be more precise, for each finite generating set $U$ for the universal right congruence on $S,$ we have a metric space $(S,d_U)$ where $d_U(a,b)$ is the minimum length of derivations for $(a,b)$ as a consequence of pairs in $U$; the right diameter of $S$ with respect to $U$ is the diameter of this metric space. The right diameter of $S$ is then the minimum of the set of all right diameters with respect to finite generating sets. We investigate whether various natural infinite semigroups of transformations and partitions have a finitely generated universal right/left congruence, and for those that do, we determine their right/left diameter. Among other results, for an arbitrary infinite set $X$ we prove the following. Each of the monoids of all binary relations on $X,$ of all partial transformations on $X,$ and of all full transformations on $X,$ as well as the partition and partial Brauer monoids on $X,$ have right diameter 1 and left diameter 1. The symmetric inverse monoid on $X$ has right diameter 2 and left diameter 2. The monoid of all injective mappings on $X$ has right diameter 4, and its minimal ideal (called the Baer-Levi semigroup on $X$) 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 $X$ has left diameter 4, and its minimal ideal has left diameter 2, but neither of these semigroups has a finitely generated universal right congruence.

The conjugacy diameters of non-abelian finite $p$-groups with cyclic maximal subgroups

The conjugacy diameters of non-abelian finite $ p $-groups with cyclic maximal subgroups

The Conjugacy Ratio of Abelian-by-$\mathbb Z$ Groups

Remarks on the Length of Conjugacy Classes of Finite Groups

On conjugacy class sizes and character degrees of finite groups

The directed Cayley diameter and the Davenport constant

A Note on the Conjugacy Classes of Non-Cyclic Subgroups

On a conjecture related to the Davenport constant

Fundamental groups and group presentations with bounded relator lengths

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

Spectrum of conjugacy and order super commuting graphs of some finite groups

$p$-groups with small number of character degrees and their normal subgroups

The largest lengths of conjugacy classes and the Sylow subgroups of finite groups

A new lower bound for the number of conjugacy classes

On the diameter of semigroups of transformations and partitions

Groups whose common divisor graph on $p$-regular classes has diameter three

Counting conjugacy classes of subgroups of ${\rm PSL}_2(p)$

Squares of conjugacy classes and a variant on the Baer-Suzuki Theorem

On Hypercentral GroupsGWith |G:Gn|<∞

Conjugacy Class Growth in Virtually Abelian Groups