Strong conciseness in profinite groups

DOI10.1112/JLMS.12342MaRDI QIDQ6321407arXivFDO

Authors Eloisa Detomi, Benjamin Klopsch, Pavel Shumyatsky

Publication date 2 July 2019

Published in arXiv

Full work available at URL https://doi.org/10.1112/JLMS.12342

Mathematics Subject Classification ID

Limits, profinite groups (20E18) Residual properties and generalizations; residually finite groups (20E26) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Commutator calculus (20F12) Nilpotent groups (20F18)

arXiv classification

math.GR

Abstract: A group word $w$ is said to be strongly concise in a class $mathcalC$ of profinite groups if, for every group $G$ in $mathcalC$ such that $w$ takes less than $2^{alep{h}_0}$ values in $G$, the verbal subgroup $w(G)$ is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words -- and the particular words $x^2$ and $[x^2,y]$ -- have the property that the corresponding verbal subgroup is finite in a profinite group $G$ whenever the word takes at most countably many values in $G$. They conjectured that, in fact, this should be true for every word. In particular, their conjecture included as open cases power words and Engel words. In the present paper, we take a new approach via parametrised words that leads to stronger results. First we prove that multilinear commutator words are strongly concise in the class of all profinite groups. Then we establish that every group word is strongly concise in the class of nilpotent profinite groups. From this we deduce, for instance, that, if $w$ is one of the group words $x^2$, $x^3$, $x^6$, $[x^3,y]$ or $[x,y,y]$, then $w$ is strongly concise in the class of all profinite groups. Indeed, the same conclusion can be reached for all words of the infinite families $[x^m,z_1,ldots,z_r]$ and $[x,y,y,z_1,ldots,z_r]$, where $min2,3$ and $rge1$.

This page was built for publication: Strong conciseness in profinite groups

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