Residual dimension of nilpotent groups

DOI10.1515/JGTH-2019-0117MaRDI QIDQ2197974zbMATH OpenOpenAlexFDO

Authors Mark Pengitore

Publication date 1 September 2020

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.07934

zbMATH Keywords

finitely generated nilpotent groupsresidual finiteness

Mathematics Subject Classification ID

Limits, profinite groups (20E18) Residual properties and generalizations; residually finite groups (20E26) Generators, relations, and presentations of groups (20F05)

Abstract: The functions $F_G(n)$ measures the asymptotic behavior of residual finiteness for a finitely generated group $G$. In previous work cite{Pengitore_1}, the author claimed a characterization for $F_N(n)$ when $N$ is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and subsequently, the statement of the asymptotic characterization of $F_N(n)$ is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for $F_N(n)$ when $N$ is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of cite{Pengitore_1} can be improved. Finally, we construct of a class of finitely generated nilpotent groups $N$ for which the asymptotic behavior of $F_N(n)$ can be fully characterized.

Review text

Let \(G\) be a residually finite finitely generated group. \textit{K. Bou-Rabee} [J. Algebra 323, No. 3, 729--737 (2010; Zbl 1222.20020)] introduced the function \(F_{G, S}(n)\) (where \(n\) is a positive integer and \(S\) is a finite subset of generators of \(G\)) to better understand how fast the intersection of all subgroups of finite index becomes trivial. Let \(||g||_S\) denote the word length of \(g \in G\) with respect to \(S\), put \[k_G(g) : = \operatorname{min}\, \left\{\left|\frac{G}{N}\right| \ : \ \frac{G}{N} \ \text{is finite} \ \text{and} \ gN \neq N\right\}\] and, for each positive integer \(n\), define \[F_{G, S}(n) : = \operatorname{max}\,\{k_G(g) \ : \ ||g||_S \leq n\}\] Notice that since the dependence of \(F_{G, S}(n)\) on \(S\) is not a strong one (see [loc. cit.]) the generating set \(S\) can be neglected. The aim of this paper is to provide asymptotic bounds for \(F_N(n)\) when \(N\) is a finitely generated nilpotent group, taking into account a recent construction of Bou-Rabee that contradicted Theorem 1.1 of \textit{M. Pengitore} [New York J. Math. 24, 83--145 (2018; Zbl 1451.20007)]. The author introduces new tools to provide lower asymptotic bounds for \(F_N(n)\) and defines a large class of finitely generated nilpotent groups \(N\) (\textit{Filiform nilpotent groups}) for which the behavior of the function \(F_N(n)\) can be completely characterized.

Recommendations

• Asymptotic growth and least common multiples in groups.
• Full residual finiteness growths of nilpotent groups
• Quantifying residual finiteness.
• Corrigendum to: ``Effective separability of finitely generated nilpotent groups
• Effective separability of finitely generated nilpotent groups
• Short laws for finite groups and residual finiteness growth
• Regularities on the Cayley graphs of groups of linear growth
• Which words spell ``almost nilpotent?
• Distortion in free nilpotent groups.
• Effective subgroup separability of finitely generated nilpotent groups

Cites work

• Effective separability of finitely generated nilpotent groups
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 1101561 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 783336 (Why is no real title available?)
• Quantifying residual finiteness of arithmetic groups.
• Quantifying residual finiteness.

Cited in

(7)

• A note on the size of the nilpotent residual in finite groups.
• Approximate subgroups of residually nilpotent groups
• Asymptotic growth and least common multiples in groups.
• Full residual finiteness growths of nilpotent groups
• Assouad-Nagata dimension of nilpotent groups with arbitrary left invariant metrics
• Rokhlin dimension for actions of residually finite groups
• Residual nilpotency of Fuchsian groups

This page was built for publication: Residual dimension of nilpotent groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197974)