Rational subgroups of biautomatic groups

Abstract

Centralizers of finite subsets in biautomatic groups are themselves biautomatic. Every polycyclic subgroup of a biautomatic group is abelian by finite.