Abstract:A fundamental notion in group theory, which originates in an article of Ulam and von Neumann from $1947$ is uniform simplicity. A group $G$ is said to be $n$-uniformly simple for $n \in \mathbf{N}$ if for every $f,g\in G\setminus \{id\}$, there is a product of no more than $n$ conjugates of $g$ and $g^{-1}$ that equals $f$. Then $G$ is uniformly simple if it is $n$-uniformly simple for some $n \in \mathbf{N}$, and we refer to the smallest such $n$ as the Ulam width, denoted as $\mathcal{R}(G)$. If $G$ is simple but not uniformly simple, one declares $\mathcal{R}(G)=\infty$. In this article, we construct for each $n\in \mathbf{N}$, a finitely presented infinite simple group $G$ such that $n<\mathcal{R}(G)<\infty$. To our knowledge, these are the first such examples among the class of finitely presented infinite simple groups. Moreover, our examples are also of type $F_{\infty}$, which means that they are fundamental groups of aspherical CW complexes with finitely many cells in each dimension. Uniformly simple groups are in particular uniformly perfect: there is an $n\in \mathbf{N}$ such that every element of the group can be expressed as a product of at most $n$ commutators of elements in the group. We also show that the analogous notion of width for uniform perfection is also unbounded for our family of finitely presented infinite simple groups. Finally, since these notions of width are invariants of elementary equivalence, our construction also provides a natural infinite family of pairwise non-elementarily equivalent finitely presented infinite simple groups.

A Wallace semigroup whose every finite power is countably compact

On the number of countable subdirect powers of finite commutative semigroups

Convergent sequences in iterated ultrapowers as p -compact groups

Discrete locally finite full groups of Cantor set homeomorphisms

On some kinds of completeness and semitopological groups with property ( w ⁎)

An analytic criterion for the local finiteness of a countable semigroup

Compactification of bounded semigroup representations

A Categorical Characterization of the Least Q-quantale Completion of Q-ordered Semigroups

Strong almost finiteness

On Compactness Of Weak Square At Singulars Of Uncountable Cofinality

On the Enhanced Power Graph of a Semigroup

On Locally P⁎⁎-Spaces and Remainders of Semitopological Groups

Selective sequential pseudocompactness

A combinatorial characterisation of amenable locally compact groups

On Ulam widths of finitely presented infinite simple groups

Compact groups in which commutators have finite right Engel sinks

Closed subsets of compact-like topological spaces

Compact right topological semigroups applied to operators

High dimensional countable compactness and ultrafilters

Indiscrete Common Commensurators

Grothendieck's compactness principle for the absolute weak topology