Genus for groups.
finitely generated virtually free groupsfinitely presented groupsgenus for groupsprofinite completionsprofinite groupsresidually finite groups
Free nonabelian groups (20E05) Limits, profinite groups (20E18) Residual properties and generalizations; residually finite groups (20E26) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34)
This reviewer felt a pang of sadness when receiving this beautiful paper, as the first author, Fritz Grunewald, died untimely in 2010. It is well known that two non-isomorphic (residually finite) groups may have isomorphic profinite completions. Given a family \(\mathcal C\) of groups, and a group \(G\in\mathcal C\), the authors define the genus \(\mathbf g(\mathcal C,G)\) as the set of isomorphism classes of groups in \(\mathcal C\) which share the same profinite completion with \(G\). Several problems are formulated. Problem \textbf{PI} asks for interesting families \(\mathcal C\) such \(\mathbf g(\mathcal C,G)\) is always finite, and for formulas for its size. \textbf{PII} asks for families in which the genuses contain one element. \textbf{PIII} asks for families which contain groups whose genus has finitely many, but more than one element, possibly with the genus being unbounded over the family. \textbf{PIV} asks for algorithms to decide whether two finitely presented groups in a given family have isomorphic profinite completions, and \textbf{PV} for algorithms to count the number of elements in a genus. Section~2 is motivated by examples by \textit{J.-P.~Serre} [Proc. Natl. Acad. Sci. USA 47, 108-109 (1961; Zbl 0100.16701)] about topological fundamental groups of the complex points of connected smooth algebraic projective varieties. Here, \textbf{PI} is solved for Abelian-by-finite groups. Then, motivated by a letter (which is reproduced in an appendix) of the late \textit{K.~W.~Gruenberg}, the class \(\mathcal{VF}\) of finitely generated, virtually free groups is considered. The authors first show that \textbf{PII} has no general positive answer here, but then prove a one-in-a-class result under certain conditions. In Sections 3 and 4 a positive answer to \textbf{PI} is provided for \(\mathcal{VF}\). There is much more in the paper, in particular about algorithms that give positive answers to \textbf{PIV} for various subclasses of \(\mathcal{VF}\). Also, \textbf{PIV} appears to be analogous to a problem in number theory studied by \textit{J.~Ax} [see e.g.~Ann. Math. (2) 85, 161-183 (1967; Zbl 0239.10032)] and S.~Kochen. We refer to the lucidly written paper for further details.
- The genus of HNN-extensions.
- The strong profinite genus of a finitely presented group can be infinite.
- The finite and solvable genus of finitely generated free and surface groups
- Decision problems and profinite completions of groups.
- The isomorphism problem for profinite completions of finitely presented, residually finite groups.
- Bieberbach groups and flat manifolds
- Cohomological goodness and the profinite completion of Bianchi groups.
- Combinatorial group theory.
- Finite and infinite cyclic extensions of free groups
- Genus for groups.
- Grothendieck's problems concerning profinite completions and representations of groups.
- Groups, trees and projective modules
- scientific article; zbMATH DE number 3873585 (Why is no real title available?)
- scientific article; zbMATH DE number 4198311 (Why is no real title available?)
- scientific article; zbMATH DE number 41228 (Why is no real title available?)
- scientific article; zbMATH DE number 46729 (Why is no real title available?)
- scientific article; zbMATH DE number 3484275 (Why is no real title available?)
- scientific article; zbMATH DE number 1047205 (Why is no real title available?)
- scientific article; zbMATH DE number 1478717 (Why is no real title available?)
- scientific article; zbMATH DE number 233957 (Why is no real title available?)
- scientific article; zbMATH DE number 3217556 (Why is no real title available?)
- scientific article; zbMATH DE number 3191684 (Why is no real title available?)
- Metabelian groups with the same finite quotients
- On polycyclic groups with isomorphic finite quotients
- Periodic automorphisms of free groups
- Polycyclic groups with isomorphic finite quotients
- Presentations of Groups Involving More Generators than are Necessary
- Representation theory of finite groups and associative algebras.
- Representations lineaires et compactification profinie des groups discrets
- Solving diophantine problems modulo every prime
- SUBGROUPS OF PROFINITE GROUPS ACTING ON TREES
- The elementary theory of finite fields
- The genus of HNN-extensions.
- The genus level of a group
- Recognizing a relatively hyperbolic group by its Dehn fillings
- Distinguishing 4-dimensional geometries via profinite completions
- Profinite genus of the fundamental groups of compact flat manifolds with holonomy group of prime order
- Profinite rigidity of graph manifolds. II: Knots and mapping classes
- Genus for groups.
- A phenomenon of concentration of genus.
- The genus of HNN-extensions.
- What is the genus?
- Determining Fuchsian groups by their finite quotients
- Virtually free pro-\(p\) groups.
- Genus for virtually surface groups and pullbacks
- scientific article; zbMATH DE number 1239922 (Why is no real title available?)
- Arithmetic groups with isomorphic finite quotients.
- Constructing uncountably many groups with the same profinite completion
- Profinite genus of fundamental groups of torus bundles
- Detecting ends of residually finite groups in profinite completions
- AN UNCOUNTABLE FAMILY OF 3-GENERATED GROUPS WITH ISOMORPHIC PROFINITE COMPLETIONS
- The profinite completion of accessible groups
- Profinite Rigidity and Free Groups
- The finite and solvable genus of finitely generated free and surface groups
- On quotients of Coxeter groups
- Profinite genus of free products with finite amalgamation
- Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients
- On Bohr compactifications and profinite completions of group extensions
- The galaxy of Coxeter groups
- Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order
- Lack of profinite rigidity among extensions with free quotient
- Absolute profinite rigidity, direct products, and finite presentability
- Property FA is not a profinite property
- Profinite rigidity of affine Coxeter groups
This page was built for publication: Genus for groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431538)
