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

Abstract

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of d(G) and |Y| only. This has several applications: 1. A new proof that G^n is closed (and hence open) in any finitely generated profinite group G. 2. A finitely generated abstract quotient of a compact Hausdorff group must be finite. 3. Let G be a topologically finitely generated compact Hausdorff group. Then G has a countably infinite abstract quotient if and only if G has an infinite virtually abelian continuous quotient.

This paper supersedes the preprint arXiv:0901.0244v2 by the first author and answers the questions raised there. Latest version corrects erroneous Lemma 4.30 and adds new Cor. 1.15

References in corpus (1)

• Powers in finite groups

Cited by in corpus (10)

• Locally normal subgroups of totally disconnected groups. Part II: Compactly generated simple groups
• New topological methods to solve equations over groups
• Algebraic properties of profinite groups
• Homotopy colimits of classifying spaces of abelian subgroups of a finite group
• Growth in linear groups
• Locally normal subgroups of simple locally compact groups
• Right exact localizations of groups
• Remarks on profinite groups having few open subgroups
• Logic Blog 2023-2024
• Twisted conjugacy and separability