9290098ac45d358a.tex
1: \begin{abstract}
2:   \noindent
3:   Let $\GG$ be a connected, locally finite graph of finite tree width and
4:   $G$ be a group acting on it with finitely many orbits and finite node stabilizers. 
5:   We provide an elementary and direct construction  of a tree $T$ on which 
6:   $G$ acts with finitely many orbits and finite vertex stabilizers. 
7:   Moreover, the tree is defined directly in terms of 
8:   the structure tree of optimally nested cuts of $\GG$. 
9:   Once the tree is constructed, Bass-Serre theory yields that $G$ is virtually free. This approach simplifies the existing proofs for the fundamental result of Muller and Schupp that characterizes context-free groups 
10:  as f.g.~virtually free groups. Our construction avoids the explicit use of Stallings' structure theorem and it is self-contained. 
11: 
12: We also give a simplified proof for an important consequence of the structure tree theory by Dicks and Dunwoody which has been stated by Thomassen and Woess. It says that a f.g.{} group is accessible if and only if its Cayley
13:  graph  is accessible.
14:    \medskip
15: 
16:   \noindent
17:   \textbf{Keywords.}\, 
18:   % 
19:   Combinatorial group theory, context-free group, structure tree, finite treewidth, accessible graph.
20:   
21:    \noindent
22: \textbf{AMS classification:} 
23: 05C25,    	%(Graphs and groups)  
24: 20E08, 		%(groups acting on trees)
25: 20F10, 		%(Word problems, other decision problems, connections with logic and automata)
26: 20F65. 		%(Geometric group theory)
27: \end{abstract}
28: