Almost all one-relator groups with at least three generators are residually finite. (Q621852): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Q232516 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Alun G. T. Williams / rank | |||
Revision as of 20:39, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Almost all one-relator groups with at least three generators are residually finite. |
scientific article |
Statements
Almost all one-relator groups with at least three generators are residually finite. (English)
0 references
28 January 2011
0 references
The paper considers three natural models for choosing a random one-relator group. The main result is that under any of these models a random \(k\)-generator one-relator group, \(k\geq 3\), can be embedded into an ascending HNN extension of a finitely generated free group with probability 1. Therefore almost surely, such a group is residually finite, is a virtually residually (finite \(p\)-)group for every sufficiently large prime \(p\), and is coherent (i.e. every finitely generated subgroup is finitely presented). Quoting from the introduction: ``[The proof] uses some strong results from different areas of mathematics that are very rarely employed together: geometric group theory, algebraic geometry and probability theory (Brownian motion). Namely, we use the result of Feighn and Handel that ascending HNN extensions of free groups are coherent (that is mostly geometric group theory, more precisely discrete Morse theory), results by Borisov and Sapir that every ascending HNN extension of a free group is residually finite and even a virtually residually (finite \(p\)-)group for almost all primes \(p\) (that is essentially a result from algebraic geometry, namely the theory of quasi-fixed points of polynomial maps over finite fields), a result of Ol'shanskiĭ about subgroups with congruence extension property of hyperbolic groups (this is geometric group theory), a result of Kapovich, Schupp and Shpilrain about generic solvability of isomorphism problem for one-relator groups (this result uses many parts of geometric group theory including the Arzhantseva-Ol'shanskiĭ method, boundaries of hyperbolic groups, etc.), and a result by Cranston, Hsu, and March that the boundary of the convex hull of a Brownian trajectory is smooth almost surely in Wiener's measure (probability theory).'' The final section discusses the 2-generator case and poses some related questions.
0 references
one-relator groups
0 references
residually finite groups
0 references
random groups
0 references
ascending HNN extensions
0 references
finitely generated subgroups
0 references