Engel groups with the maximal condition on finite Abelian \(p\)-subgroups. (Q1173870)

Le but de ce travail est d'étudier les groupes d'Engel vérifiant la condition maximale pour leurs \(p\)-sous-groupes finis abéliens (en d'autres termes Max-\(p\)-\(f\)-ab). Les résultas: Théorème. Considérons un nombre premier \(p\), et \(G\) un groupe d'Engel vérifiant Max-\(p\)-\(f\)-ab. Alors: 1) \(G\) possède un seul \(p\)-sous-groupe de Sylow (c'est-à-dire un seul \(p\)-sous-groupe maximal de \(G\)); de plus, cet sous-groupe est fini. 2) Tout élément de \(G\), d'ordre fini premier avec \(p\), centralise le \(p\)-sous-groupe de Sylow. Corollaire 1. Soit \(G\) un groupe d'Engel vérifiant Max-\(p\)-\(f\)-ab pour tout premier \(p\). Alors: 1) Les éléments d'ordre fini forment un sous-groupe caractéristique de \(G\) (en d'autres termes, \(G\) possède un sous- groupe de torsion). 2) Pour chaque entier premier \(p\), \(G\) possède un seul \(p\)-sous-groupe de Sylow, qui est fini. 3) Le sous-groupe de torsion est le produit direct des \(p\)-sous-groupes de Sylow de \(G\). Corollaire 2. Les groupes d'Engel périodiques vérifiant Max-\(p\)-\(f\)-ab pour tout premier \(p\) sont exactement les produits directs des \(p\)-sous-groupes finis (\(p\) premiers distincts). En particulier, la classe des groupes d'Engel d'exposant fini vérifiant Max-\(p\)-\(f\)-ab pour tout premier \(p\) coïncide avec la classe des groupes finis nilpotents.