Abstract:The Prüfer rank $\mathrm{rk}(G)$ of a profinite group $G$ is the supremum, across all open subgroups $H$ of $G$, of the minimal number of generators $\mathrm{d}(H)$. It is known that, for any given prime $p$, a profinite group $G$ admits the structure of a $p$-adic analytic group if and only if $G$ is virtually a pro-$p$ group of finite rank. The dimension $\dim G$ of a $p$-adic analytic profinite group $G$ is the analytic dimension of $G$ as a $p$-adic manifold; it is known that $\dim G$ coincides with the rank $\mathrm{rk}(U)$ of any uniformly powerful open pro-$p$ subgroup $U$ of $G$. Let $\pi$ be a finite set of primes, let $r \in \mathbb{N}$ and let $\mathbf{r} = (r_p)_{p \in \pi}, \mathbf{d} = (d_p)_{p \in \pi}$ be tuples in $\{0, 1, \ldots,r\}$. We show that there is a single sentence $\sigma_{\pi,r,\mathbf{r},\mathbf{d}}$ in the first-order language of groups such that for every pro-$\pi$ group $G$ the following are equivalent: (i) $\sigma_{\pi,r,\mathbf{r},\mathbf{d}}$ holds true in the group $G$, that is, $G \models \sigma_{\pi,r,\mathbf{r},\mathbf{d}}$; (ii) $G$ has rank $r$ and, for each $p \in \pi$, the Sylow pro-$p$ subgroups of $G$ have rank $r_p$ and dimension $d_p$. Loosely speaking, this shows that, for a pro-$\pi$ group $G$ of bounded rank, the precise rank of $G$ as well as the ranks and dimensions of the Sylow subgroups of $G$ can be recognized by a single sentence in the first-order language of groups.

Sentences over Random Groups II: Sentences of Minimal Rank

Sentences over Random Groups I: Existential Sentences

First-order sentences in random groups I: universal sentences

Finite axiomatizability of the rank and the dimension of a pro-$π$ group

Freiheitssatz and phase transition for the density model of random groups

Density of quotient orders in groups and applications to locally-transitive graphs

Almost-minimal nonuniform lattices of higher rank

Infinite Volume and Infinite Injectivity Radius

Invariant random subgroups over non-Archimedean local fields

The Algorithmic Phase Transition of Random $k$-SAT for Low Degree Polynomials

Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields

Random $2$-SAT: The set of atoms of the limiting empirical marginal distribution

The rank of sparse random matrices

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

Maximal subgroups of maximal rank in the classical algebraic groups

Quasirandom and quasisimple groups

Random expansions of finite structures with bounded degree

When amenable groups have real rank zero $C^*$-algebras

Small groups of finite Morley rank with a supertight automorphism

Qd(p)-free rank two finite groups act freely on a homotopy product of two spheres

First order distinguishability of sparse random graphs