Residual Finiteness Growth in Minimax Groups
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908610040168448 |
|---|---|
| author | Deré, Jonas Matthys, Joren |
| author_facet | Deré, Jonas Matthys, Joren |
| contents | If $g\in G$ is a non-trivial element in a residually finite group, then there exists by definition a finite group $Q$ and a homomorphism $φ: G \to Q$ such that $φ(g) \neq e$. The residual finiteness growth $\text{RF}_G$ of a finitely generated residually finite group $G$ estimates the size of $Q$ in terms of the word norm $\|g\|$ of the element $g\in G$. This function has been studied for several classes of groups, including free groups, lamplighter groups and nilpotent groups.
For finitely generated linear groups $G\leq \text{GL}(m, \mathbb{C})$ this function is known to be bounded by $\text{RF}_G(r) \preceq r^{m^2+1}$, which is quadratic in $m$. This paper establishes an improved bound of the form $\text{RF}_G(r) \preceq r^{4k}$ with $k$ the Prüfer rank of $G$ for certain virtually solvable linear groups, namely minimax groups, a class which includes virtually polycyclic and Baumslag-Solitar groups. Moreover, the upper bound is invariant under taking finite extensions, and also establishes an improved polylogarithmic version for virtually nilpotent groups, generalizing the known exact bound for virtually abelian groups. If the group is not virtually nilpotent, we prove that $\text{RF}_G(r)$ is at least linear, improving a recent result. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_21387 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Residual Finiteness Growth in Minimax Groups Deré, Jonas Matthys, Joren Group Theory 20E26 If $g\in G$ is a non-trivial element in a residually finite group, then there exists by definition a finite group $Q$ and a homomorphism $φ: G \to Q$ such that $φ(g) \neq e$. The residual finiteness growth $\text{RF}_G$ of a finitely generated residually finite group $G$ estimates the size of $Q$ in terms of the word norm $\|g\|$ of the element $g\in G$. This function has been studied for several classes of groups, including free groups, lamplighter groups and nilpotent groups. For finitely generated linear groups $G\leq \text{GL}(m, \mathbb{C})$ this function is known to be bounded by $\text{RF}_G(r) \preceq r^{m^2+1}$, which is quadratic in $m$. This paper establishes an improved bound of the form $\text{RF}_G(r) \preceq r^{4k}$ with $k$ the Prüfer rank of $G$ for certain virtually solvable linear groups, namely minimax groups, a class which includes virtually polycyclic and Baumslag-Solitar groups. Moreover, the upper bound is invariant under taking finite extensions, and also establishes an improved polylogarithmic version for virtually nilpotent groups, generalizing the known exact bound for virtually abelian groups. If the group is not virtually nilpotent, we prove that $\text{RF}_G(r)$ is at least linear, improving a recent result. |
| title | Residual Finiteness Growth in Minimax Groups |
| topic | Group Theory 20E26 |
| url | https://arxiv.org/abs/2510.21387 |