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.

Finite Germ Extensions

Finiteness properties of some groups of local similarities

Group extensions preserve almost finiteness

On Ulam widths of finitely presented infinite simple groups

Generalized Residual Finiteness of Groups

The continuation of finite $E_\mathfrak{F}$-groups theory

Finite subgroups of the profinite completion of good groups

Amenability and profinite completions of finitely generated groups

Discrete locally finite full groups of Cantor set homeomorphisms

Finiteness properties of totally disconnected locally compact groups

Revisiting Farrell's nonfiniteness of Nil

Almost 1-1 extensions of Furstenberg-Weiss type and test for amenability

Absolute profinite rigidity, direct products, and finite presentability

Profinite isomorphisms and fixed-point properties

Strong almost finiteness

Quasi-Automorphism Groups of Type F-infinity

On Infinitely generated Fuchsian groups of the Loch Ness monster, the Cantor tree and the Blooming Cantor tree

Finite abelian groups acting on rationally connected threefolds I: Groups of product type

Asymptotic mapping class groups of Cantor manifolds and their finiteness properties