Comptes Rendus
Group Theory
Finite index subgroups in profinite groups
[Sous-groupes d'indice fini des groupes profinis]
Comptes Rendus. Mathématique, Volume 337 (2003) no. 5, pp. 303-308.

Le résultat principal est que tout sous-groupe d'indice fini dans un groupe profini de type fini est ouvert. Par conséquent, la topologie d'un tel groupe est uniquement déterminée par la structure de groupe sous-jacente. Ce résultat se déduit d'un « théorème d'uniformité » pour les groupes finis : soit w un mot tel que la variété de groupes associée est localement finie, et soit d un entier. Si G est un groupe fini ayant d générateurs, alors chaque élément du sous-groupe verbal w(G) est produit de fw(d) valeurs de w dans G. On obtient des résultats analogues pour le sous-groupe dérivé.

We prove that every subgroup of finite index in a (topologically) finitely generated profinite group is open. This implies that the topology in such a group is uniquely determined by the group structure. The result follows from a ‘uniformity theorem’ about finite groups: given a group word w that defines a locally finite variety and a natural number d, there exists f=fw(d) such that in every finite d-generator group G, each element of the verbal subgroup w(G) is a product of f w-values. Similar methods show that in a finite d-generator group, each element of the derived group is a product of g(d) commutators; this implies that the (abstract) derived group in any finitely generated profinite group is closed.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/S1631-073X(03)00349-2
Nikolay Nikolov 1 ; Dan Segal 2

1 Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem 91904, Israel
2 All Souls College, Oxford, Oxfordshire OX1 4AL, UK
@article{CRMATH_2003__337_5_303_0,
     author = {Nikolay Nikolov and Dan Segal},
     title = {Finite index subgroups in profinite groups},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {303--308},
     publisher = {Elsevier},
     volume = {337},
     number = {5},
     year = {2003},
     doi = {10.1016/S1631-073X(03)00349-2},
     language = {en},
}
TY  - JOUR
AU  - Nikolay Nikolov
AU  - Dan Segal
TI  - Finite index subgroups in profinite groups
JO  - Comptes Rendus. Mathématique
PY  - 2003
SP  - 303
EP  - 308
VL  - 337
IS  - 5
PB  - Elsevier
DO  - 10.1016/S1631-073X(03)00349-2
LA  - en
ID  - CRMATH_2003__337_5_303_0
ER  - 
%0 Journal Article
%A Nikolay Nikolov
%A Dan Segal
%T Finite index subgroups in profinite groups
%J Comptes Rendus. Mathématique
%D 2003
%P 303-308
%V 337
%N 5
%I Elsevier
%R 10.1016/S1631-073X(03)00349-2
%G en
%F CRMATH_2003__337_5_303_0
Nikolay Nikolov; Dan Segal. Finite index subgroups in profinite groups. Comptes Rendus. Mathématique, Volume 337 (2003) no. 5, pp. 303-308. doi : 10.1016/S1631-073X(03)00349-2. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/S1631-073X(03)00349-2/

[1] M.W. Liebeck; L. Pyber Finite linear groups and bounded generation, Duke Math. J., Volume 107 (2001), pp. 159-171

[2] M.W. Liebeck; A. Shalev Diameters of finite simple groups: sharp bounds and applications, Ann. of Math., Volume 154 (2001), pp. 383-406

[3] H. Neumann Varieties of Groups, Ergeb. Math., 37, Springer-Verlag, Berlin, 1967

[4] N. Nikolov, Power subgroups of profinite groups. D.Phil. thesis, University of Oxford, 2002

[5] N. Nikolov, On the commutator width of perfect groups, Bull. London Math. Soc., in press

[6] S. Oates; M.B. Powell Identical relations in finite groups, J. Algebra, Volume 1 (1964), pp. 11-39

[7] V.A. Roman'kov Width of verbal subgroups in solvable groups, Algebra i Logika, Volume 21 (1982), pp. 60-72 (in Russian). English translation Algebra and Logic, 21, 1982, pp. 41-49

[8] L. Ribes; P.A. Zalesskii Profinite Groups, Ergeb. Math. (3), 40, Springer, Berlin, 2000

[9] D. Segal Closed subgroups of profinite groups, Proc. London Math. Soc. (3), Volume 81 (2000), pp. 29-54

[10] J.S. Wilson On simple pseudofinite groups, J. London Math. Soc. (2), Volume 51 (1995), pp. 471-490

Cité par Sources :

Commentaires - Politique


Ces articles pourraient vous intéresser

Profinite groups of finite cohomological dimension

Thomas Weigel; Pavel Zalesskii

C. R. Math (2004)