The Generation of GL(n, Z) by Finite State Automata
Andrew M. Brunner, Said N. Sidki · International Journal of Algebra and Computation · 1998
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.