Canonical universal locally finite groups (Q6039935)

In this paper, the author studies the class \(\mathbf{K}^{\mathrm{lf}}\) and the subclasses \(\mathbf{K}^{\mathrm{lf}}_{\lambda}\) of members of \(\mathbf{K}^{\mathrm{lf}}\) of cardinality \(\lambda\). By a result of \textit{R. Grossberg} and the author [Isr. J. Math. 44, 289--302 (1983; Zbl 0525.20025)], if \(\lambda=\lambda^{\aleph_{0}}\), then there is no universal member for \(\mathbf{K}^{\mathrm{lf}}_{\lambda}\). However, if \(\lambda\) is a strong limit cardinal of cofinality \(\aleph_{0}\) above a compact cardinal \(\kappa\), then there is \(G \in \mathbf{K}^{\mathrm{lf}}_{\lambda}\) which is universal. The main result of this article is the proof that the existence of universally locally finite groups implies that there is a canonical one in any strong limit singular cardinality of countable cofinality. For showing the existence, the author relies on the existence of enough indecomposable such groups which he proved in [Rend. Semin. Mat. Univ. Padova 144, 253--270 (2020; Zbl 1511.20007)].