A condition that prevents groups from acting nontrivially on trees
Martin R. Bridson · Geometry and topology monographs · 2008
We describe a simple criterion for showing that a group has Serre's property FA. By exhibiting a certain pattern of finite subgroups, we show that this criterion is satisfied by Aut(F_n) and SL(n,Z) when n>=3.