On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.

DOI10.4007/ANNALS.2007.165.171MaRDI QIDQ880883zbMATH OpenOpenAlexFDO

Authors Nikolay Nikolov, Dan Segal

Publication date 29 May 2007

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0604400

zbMATH Keywords

commutator subgroupderived groupsfinite quasisimple groupsfinitely generated profinite groupsGalois cohomologygroup wordshomomorphismsproducts of commutatorsprofinite completionssubgroups of finite index

Mathematics Subject Classification ID

Finite simple groups and their classification (20D05) Subgroup theorems; subgroup growth (20E07) Limits, profinite groups (20E18) Generators, relations, and presentations of groups (20F05) Commutator calculus (20F12)

Abstract: We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the given automorphisms. (2) Given a natural number $q$, there exist $C=C(q)$ and $M=M(q)$ such that: if $S$ is a finite quasisimple group with $|S/mathrmZ(S)|>C$, $$ $(j=1,\mathrm{...},M)$ are any automorphisms of $S$, and $q_j$ $(j=1,\mathrm{...},M)$ are any divisors of $q$, then there exist inner automorphisms $alph{a}_j$ of $S$ such that $$. These results, which rely on the Classification of finite simple groups, are needed to complete the proofs of the main theorems of Part I.

Review text

The result proved in these two papers is the most impressive result on profinite groups within several decades. It states that every subgroup of finite index of a finitely generated profinite group is open. This means that the profinite completion of a finitely generated profinite group coincides with the group itself, i.e., the profinite completion of a finitely generated group can not be completed any further. The result also implies that every homomorphism of a finitely generated profinite group to any profinite group is continuous. This can be used to deduce that the continuous (Galois) first cohomology coincides with usual first cohomology of \(G\) when a module of coefficients is finite. The result follows from a `uniformity theorem' about finite groups proved by the authors: given a group word \(w\) that defines a locally finite variety and a natural number \(d\), there exists \(f=f_w(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) commutator subgroup in any finitely generated profinite group is closed.

Recommendations

• Generators and commutators in finite groups; abstract quotients of compact groups.
• Maximal subgroups and strong completeness of profinite groups.
• Finite index subgroups in profinite groups.
• On finiteness of some verbal subgroups in profinite groups
• Closed subgroups of profinite groups

Cited in

(only showing first 100 items - show all)

• Characters of symmetric groups: sharp bounds and applications.
• A note on the finite images of profinite groups.
• The tower of profinite completions
• Pursuing polynomial bounds on torsion
• Cohomology of the geometric fundamental group of hyperbolic polycurves
• Profinite completion of operads and the Grothendieck-Teichmüller group
• On bounded conciseness of words in residually finite groups
• Word maps, word maps with constants and representation varieties of one-relator groups
• Moduli of formal \(A\)-modules under change of \(A\)
• On bounded conciseness of Engel-like words in residually finite groups
• Multilinear commutators in residually finite groups.
• Green index in semigroups: generators, presentations, and automatic structures.
• The weight of nonstrongly complete profinite groups
• Continuity conditions for finite-dimensional locally bounded representations of connected locally compact groups
• \(S\)-arithmetic spinor groups with the same finite quotients and distinct \(\ell^2\)-cohomology
• Profinite rigidity, Kleinian groups, and the cofinite Hopf property
• On the second cohomology of the norm one group of a \(p\)-adic division algebra
• Abstract homomorphisms from some topological groups to acylindrically hyperbolic groups
• Polyadic sets and homomorphism counting
• Zeta functions of the 3-dimensional almost-Bieberbach groups
• Distinguishing 4-dimensional geometries via profinite completions
• Automatic continuity of abstract homomorphisms between locally compact and Polish groups
• Absolute profinite rigidity and hyperbolic geometry
• Koszul algebras and quadratic duals in Galois cohomology
• Ultraproduct coefficients in étale cohomology -- a survey
• On profinite groups with Engel-like conditions.
• Some subgroups of the general linear group of order two over the ring of \(p\)-adic integers.
• Engel words and the restricted Burnside problem.
• Congruence topologies on the mapping class group
• On self-similarity of p-adic analytic pro-p groups of small dimension
• Around the Lie correspondence for complete Kac-Moody groups and Gabber-Kac simplicity
• On small profinite groups
• Remarks on profinite groups having few open subgroups
• On verbal subgroups of adelic groups.
• On conciseness of words in profinite groups.
• Frattini and related subgroups of mapping class groups
• The true prosoluble completion of a group: examples and open problems.
• Height four formal groups with quadratic complex multiplication
• Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups
• MATRIX-MFO tandem workshop: Invariants and structures in low-dimensional topology. Abstracts from the MATRIX-MFO tandem workshop held September 5--11, 2021 (hybrid meeting)
• Bounding the order of a verbal subgroup in a residually finite group
• On the width of verbal subgroups of the groups of triangular matrices over a field of arbitrary characteristic.
• On the exponent of a verbal subgroup in a finite group.
• Verbal subgroups of hyperbolic groups have infinite width.
• Profinite groups with NIP theory andp-adic analytic groups
• On groups with slow intersection growth
• ON VERBAL SUBGROUPS IN RESIDUALLY FINITE GROUPS
• Word maps and Waring type problems.
• On the shortest identity in finite simple groups of Lie type
• Abstract commensurators of profinite groups.
• On discrete homology of a free pro-p-group
• Determining Fuchsian groups by their finite quotients
• Zeta functions of virtually nilpotent groups
• On Galois groups and PAC substructures
• Profinite Rigidity in the SnapPea Census
• A Survey of the Impact of Thurston’s Work on Knot Theory
• Counting the closed subgroups of profinite groups
• Growth in finite simple groups of Lie type
• The commutator width of some relatively free Lie algebras and nilpotent groups
• Continuity of homomorphisms on pro-nilpotent algebras
• Automatic Continuity of Group Homomorphisms
• Torus bundles not distinguished by TQFT invariants. With an appendix by Louis Funar and Andrei Rapinchuk
• First-order characterization of the radical of a finite group
• On boundedly generated subgroups of profinite groups.
• Commutators and pronilpotent subgroups in profinite groups.
• Bounding the exponent of a verbal subgroup.
• On countable coverings of word values in profinite groups.
• Representation of finite groups: conjectures, reductions, and applications.
• Problems of bounding the p-length and Fitting height of finite soluble groups
• Bounded Engel elements in residually finite groups satisfying an identity
• Commutators and commutator subgroups in profinite groups
• Verbal width in anabelian groups
• The profinite completion of a profinite projective group
• Profinite detection of 3-manifold decompositions
• Stone MV-algebras and strongly complete MV-algebras
• Definable Henselian valuations
• Commutators in residually finite groups.
• Intersection growth in groups
• Detecting ends of residually finite groups in profinite completions
• Profinite groups with finite virtual length.
• Direct products and profinite completions
• Profinite commensurability of \(S\)-arithmetic groups
• On absolutely profinitely solitary lattices in higher rank Lie groups
• Mapping classes are almost determined by their finite quotient actions
• The profinite completion of accessible groups
• The structure of groups with all proper quotients virtually nilpotent
• On surjective homomorphisms from a configuration space group to a surface group
• Survey on L2‐invariants and 3‐manifolds
• Norm rigidity for arithmetic and profinite groups
• Continuous group actions on profinite spaces
• Random generation of finite and profinite groups and group enumeration.
• \(\mathbb{Q}_\ell\)- versus \(\mathbb{F}_\ell\)-coefficients in the Grothendieck-Serre/Tate conjectures
• Free \(\mathbb{Q}\)-groups are residually torsion-free nilpotent
• The definable content of homological invariants. I: \( \mathrm{Ext}\) and \(\lim^1\)
• On the profinite rigidity of free and surface groups
• Groups of profinite type and profinite rigidity
• Integrals of groups. II
• Galois covers of singular curves in positive characteristics
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
• Powers in finite groups.

This page was built for publication: On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q880883)