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.

Uniformly fully inert subgroups of abelian p-groups

Neat locally compact abelian p-groups

Amenability and profinite completions of finitely generated groups

Finite groups in which every certain maximal A-invariant subgroup is nilpotent

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

Abelian $p$--groups and their endomorphism rings

On Ulam widths of finitely presented infinite simple groups

Finite groups in which some particular invariant subgroups are TI-subgroups or subnormal subgroups

On the Norms of p-Nilpotent Residuals of Subgroups in a Finite Group

A class of finite $p$-groups and the normalized unit groups of group algebras

Radicable Nilpotent Groups of Finite Rank with Indecomposable Abelian Commutator Subgroups

On separable abelian $p$-groups

Subgroups of finite index and the just infinite property

Isotypical equivalence of periodic Abelian groups

Finite p-groups satisfying a weak chain condition

Discrete locally finite full groups of Cantor set homeomorphisms

Uncountable groups with finitely many normalizers of large subgroups

A class of finite p-groups and the normalized unit groups of group algebras

Finite groups with some particular maximal invariant subgroups being nilpotent or all non-nilpotent maximal invariant subgroups being normal

p-Nilpotent maximal subgroups in finite groups

ON NONINNER AUTOMORPHISMS OF SOME FINITE P -GROUPS