Sobre grupos finitos e profinitos quase Engel

Abstract

Um grupo G é chamado um grupo Engel se para todos x e g em G a identidade [x, g, . . . , g] = 1 vale em G, onde g é repetido no comutador um número suficiente de vezes que depende de x e g. É bem conhecido que qualquer grupo localmente nilpotente é um grupo Engel. Mas, a recíproca não vale em geral. No entanto, em [26] J. S. Wilson e E. I. Zelmanov provaram que todo grupo profinito Engel ´e localmente nilpotente.Dados um elemento g em G e um inteiro positivo n, seja En(g) o subgrupo gerado por todos os comutadores [x, g, . . . , g] onde, x varia em G e g é repetido n vezes. Esta dissertação está baseada no artigo Almost Engel finite and profinite groups [13] de E. I. Khukhro e P. Shumyatsky. Mostramos que se G é um grupo profinito tal que, para todo g em G existe um inteiro positivo n = n(g) com a propriedade que En(g) é finito, então G possui um subgrupo normal finito N tal que G/N ´e localmente nilpotente. Um resultado da mesma natureza e de tipo quantitativo ´e provado para um grupo finito G, deduzindo informações sobre a ordem do subgrupo residual nilpotente γ(G) de G.