On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups. (Q880883): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1997331766 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0604400 / rank | |||
Normal rank |
Latest revision as of 18:27, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups. |
scientific article |
Statements
On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups. (English)
0 references
29 May 2007
0 references
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.
0 references
subgroups of finite index
0 references
finitely generated profinite groups
0 references
profinite completions
0 references
homomorphisms
0 references
Galois cohomology
0 references
finite quasisimple groups
0 references
group words
0 references
derived groups
0 references
products of commutators
0 references
commutator subgroup
0 references