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.

Finitely presented condensed groups

Finitely presented condensed groups

Finitely presented residually free groups

On finite presentability of group F/[M,N]

Finitely presented kernels of homomorphisms from hyperbolic groups onto free abelian groups

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Subdirect products of finitely presented metabelian groups

Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

Non-congruence presentations of finite simple groups

Groups not presentable by products

Finite presentability of twisted Brin-Thompson groups

Applications of computational tools for finitely presented groups

Finite Groups With Some Primary Subgroups G-S-Supplemented

Finiteness properties of some groups of local similarities

On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

Complete Embeddings Of Groups

Malnormal Subgroups of Finitely Presented Groups

On Ulam widths of finitely presented infinite simple groups

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Finite subgroups of the profinite completion of good groups