Pro-finite presentations
With this paper the author starts to present a systematic presentation theory for profinite groups. He begins by considering three questions due to \textit{K. W. Gruenberg} [Relation modules of finite groups, CBMS Reg. Conf. Ser. Math. 25, AMS, Providence, RI (1976; Zbl 0327.20019)]. In the profinite group setting the first question is as follows. Given two presentations of a finitely-generated profinite group \(G\), denoted by \(1\mapsto R_i\mapsto F\mapsto G\mapsto 1\) for \(i=1,2\) where \(F\) is a finitely-generated free profinite group, is \(d_F(R_1)=d_F(R_2)\)? (\(d_F(R)\) denotes the minimal number of generators of \(R\) as a normal subgroup of \(F\).) The answer is positive. The second question considers \(r(G)\), the minimum number of relations needed to define \(G\). Is \(r(G)\) realised by a minimal presentation (i.e. one in which \(d(F)=d(G)\))? Again the answer is positive. To prove these results the author makes use of a lemma of Gaschütz. The author proves that there is only one way up to an automorphism of \(F\), to present \(G\) as a quotient of \(F\). The answer to the first question follows immediately, the second needs an additional argument.NEWLINENEWLINENEWLINEThe third question of Gruenberg asks whether \(d_F(R)-d(F)\) is independent of the presentation \(G=F/R\) and is therefore an invariant of \(G\)? The author proves that this is true for \(G=\widehat F_d/R\) unless \(R=R'\). He then proves that the condition \(R=R'\) is equivalent to \(G\) being a \(d\)-Abelian-indexed group, where a profinite group \(G\) is called \(d\)-Abelian-indexed if \(d(G)=d\) and for any open subgroup \(H\) of \(G\), \(H/H'\cong\widehat\mathbb{Z}^r\) where \(r=1+(d-1)[G:H]\). An example of a \(d\)-Abelian-indexed group is the free pro-solvable group \(\widehat F_d(S)\). Furthermore, a \(d\)-Abelian-indexed group \(G\) can be mapped onto \(\widehat F_d(S)\), therefore the collection of such groups is quite limited.NEWLINENEWLINENEWLINEThe author goes on to give a cohomological characterisation of finitely-presented profinite groups. The result extends the well-known result that a pro-\(p\) group is finitely-presented if and only if \(\dim H^2(G,\mathbb{F}_p)\) is finite.
- Enumerating boundedly generated finite groups.
- Enumerating finite groups and their defining relations
- scientific article; zbMATH DE number 4014840 (Why is no real title available?)
- scientific article; zbMATH DE number 3558083 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 1219630 (Why is no real title available?)
- scientific article; zbMATH DE number 1047205 (Why is no real title available?)
- scientific article; zbMATH DE number 3303161 (Why is no real title available?)
- scientific article; zbMATH DE number 3349989 (Why is no real title available?)
- On T-systems of groups
- On relation groups
- Proficient presentations and direct products of finite groups
- Projective Profinite Groups
- Subgroups of free profinite groups and large subfields of Q
- Zu einem von B. H. und H. Neumann gestellten Problem
- Zwei Klassen charakteristischer Untergruppen und ihre Faktorgruppen
- Positively finitely related profinite groups
- The generation of the augmentation ideal in profinite groups.
- Probabilistic finiteness properties for profinite groups
- Cohomology of \(\mathrm{PSL}_2(q)\)
- Finite presentation of the tame fundamental group
- Pronilpotent quotients associated with primitive substitutions
- On representations of \(\operatorname{Gal}(\overline{\mathbb{Q}} / \mathbb{Q})\), \(\widehat{GT}\) and \(\operatorname{Aut}(\hat{F}_2)\)
- The free group on \(n\) generators modulo \(n + u\) random relations as \(n\) goes to infinity
- A pro-\(p\) group with infinite normal Hausdorff spectra
- Presentations: from Kac-Moody groups to profinite and back
- Remarks on proficient groups.
- Varieties of finite supersolvable groups with the M.~Hall property.
- Explicit methods in number theory. Abstracts from the workshop held July 18--24, 2021 (hybrid meeting)
- Characterization of solvable groups and solvable radical.
- Profinite completion of Grigorchuk's group is not finitely presented.
- Presentations of finite simple groups: a quantitative approach.
- Presentations of Schützenberger groups of minimal subshifts.
- Normal subgroups of profinite groups of non-negative deficiency.
- On boundedly generated subgroups of profinite groups.
- Explicit generators of some pro-p groups via Bruhat-Tits theory
- Freeness of Schützenberger groups of primitive substitutions
- The absolute Galois group of a \(p\)-adic field
- Probability theory for random groups arising in number theory
- Counting irreducible modules for profinite groups
- Fundamental groups of proper varieties are finitely presented
- Lifting generators in connected Lie groups
- Profinite congruences and unary algebras
- Rational and p-adic analogues of J. H. C. Whitehead's conjecture
- Presentations of Galois groups of maximal extensions with restricted ramification
- Finite presentability of \(\text{SL}_1(D)\).
This page was built for publication: Pro-finite presentations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945130)
