The Generation of GL(n, Z) by Finite State Automata

The linear group GL(n, Z) is residually finite by virtue of its action on the (one-rooted) regular 2n-ary coset tree for Zn. In this paper we construct finite state automata which effect this action. This shows that GL(n, Z) is embeddable in the group of finite state automorphisms of the one-rooted regular tree of valency 2n.