Generators and commutators in finite groups; abstract quotients of compact groups

Author: 

Nikolov, N
Segal, D

Publication Date: 

1 March 2012

Journal: 

Inventiones Mathematicae

Last Updated: 

2019-06-03T14:54:00.34+01:00

Issue: 

3

Volume: 

190

DOI: 

10.1007/s00222-012-0383-6

page: 

513-602

abstract: 

The first part of the paper establishes results about products of commutators in a d-generator finite group G, for example: if H {contains as normal subgroup} G = 〈g 1,.g r〉 then every element of the subgroup [H, G] is a product of f(r) factors of the form [h 1,g 1][h 1′,g 1-1].[h r,g r][h r′,g r-1] with h 1,h 1′,.h rh r′ ε H. Under certain conditions on H, a similar conclusion holds with the significantly weaker hypothesis that G = H〈g 1,g r〉, where f(r) is replaced by f 1(d,r). The results are applied in the second part of the paper to the study of normal subgroups in finitely generated profinite groups, and in more general compact groups. Results include the characterization of (topologically) finitely generated compact groups which have a countably infinite image, and of those which have a virtually dense normal subgroup of infinite index. As a corollary it is deduced that a compact group cannot have a finitely generated infinite abstract quotient. © 2012 Springer-Verlag.

Symplectic id: 

367440

Submitted to ORA: 

Not Submitted

Publication Type: 

Journal Article