A group word w is said to be strongly concise in a class C of profinite groups if, for every group G in C such that w takes less than continum many values in G, the verbal subgroup w(G) is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words 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.

Strong conciseness in profinite groups

Detomi E.;
2020

Abstract

A group word w is said to be strongly concise in a class C of profinite groups if, for every group G in C such that w takes less than continum many values in G, the verbal subgroup w(G) is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words 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.
File in questo prodotto:
File Dimensione Formato  
Detomi-Klopsch-Shumyatsky-LMS_v2.pdf

accesso aperto

Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 414.23 kB
Formato Adobe PDF
414.23 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3344010
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 11
  • OpenAlex ND
social impact