bb7247606904fcf4.tex
1: \begin{abstract}
2: We show that the commensurator of any quasiconvex abelian subgroup
3: in a biautomatic group is small, in the sense that it has
4: finite image in the abstract commensurator of the subgroup.  Using this
5: criterion we exhibit groups that are \cat{} but not biautomatic.
6: These groups also resolve a number of other questions concerning
7: \cat{} groups.
8: \end{abstract}
9: