Grupos Solúveis e Pronilpotentes com Condições de Engel
Elementos Engel; Grupos Pronilpotentes; Grupos Solúveis.
(*) Para quaisquer x,y \in G existem inteiros positivos n=n(x,y) e q=q(x,y) tais que [x,{}_{n}y^{q}]=1;
(**) Para quaisquer x,y \in G existem inteiros positivos n=n(x,y) e q=q(x,y) tais que [x^{q},{}_{n}y]=1.
Mostramos que se G satisfaz (*), então G é um grupo virtualmente nilpotente. Se G satisfaz (**), então G é um grupo nilpotente. Quando G é um grupo (abstrato) solúvel finitamente gerado satisfazendo (*) ou (**) então G é virtualmente nilpotente. A última afirmação generaliza o teorema de Gruenberg que diz que todo grupo solúvel Engel finitamente gerado é nilpotente.