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 simple left-orderable groups in the landscape of Richard Thompson's groups

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

On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

Non-congruence presentations of finite simple groups

Groups not presentable by products

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

A Reidemeister-Schreier theorem for finitely $L$-presented groups

Malnormal Subgroups of Finitely Presented Groups

Finite Germ Extensions

Applications of computational tools for finitely presented groups

Finiteness properties of some groups of local similarities

On Ulam widths of finitely presented infinite simple groups

Finite subgroups of the profinite completion of good groups

Growth of finitely generated subgroups of the topological full groups of inverse semigroups of bounded type