The accessibility of finitely presented groups (Q1062144): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q461395 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Bruno P. Zimmermann / rank | |||
Normal rank |
Revision as of 07:48, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The accessibility of finitely presented groups |
scientific article |
Statements
The accessibility of finitely presented groups (English)
0 references
1985
0 references
A finitely generated group G has more than one end, \(e(G>1\), if there exists a free action of G, with finite quotient, on a simplicial complex K with more than one end. Stallings proved that \(e(G)>1\) iff G splits over a finite subgroup C as a nontrivial free product with amalgamation resp. HNN-extension, \(G=A*_ CB\) or \(G=A*_{\{C,t\}}\) (or equivalently, G acts on a tree such that G fixes no vertex and all edge-stabilizers are finite). Now if e(A) or \(e(B)>1\) this splitting process can be iterated. A f.g. group G is called accessible if this splitting process stops after finitely many steps, or equivalently, G is the fundamental group of a (finite) graph of groups in which every edge group is finite and every vertex group has at most one end. For example, by Grushko's theorem every f.g. torsion-free group is accessible. The conjecture is that every f.g. group G is accessible. In the present paper it is shown that finitely presented groups are accessible. The proof is geometric-combinatorial, by splitting an action of G on a suitable simplicial complex K with finite quotient along certain 1-dim. finite subcomplexes which generalize simple closed curves on surfaces. The main point is that this splitting process terminates after finitely many steps; this is analogous to an argument of Kneser who showed that in a compact 3-manifold there are only finitely many disjoint non-parallel embedded 2-spheres. As noted in the introduction, similar methods can be applied to prove the equivariant loop and sphere theorems of Meeks-Yau, thus replacing the minimal surface techniques they used by combinatorial ones [see the author's paper in Bull. Lond. Math. Soc. 17, 437-448 (1985)].
0 references
ends of a group
0 references
finitely generated group
0 references
free action
0 references
free product with amalgamation
0 references
HNN-extension
0 references
graph of groups
0 references
finitely presented groups
0 references
simple closed curves on surfaces
0 references
equivariant loop and sphere theorems
0 references