This is the latest part of an ongoing project aimed at extending algebraic
properties of the classical modular group SL_2(Z) to equivalent groups in the
theory of Drinfeld modules. We are especially interested in those properties
which are important in the classical theory of modular forms. Our results are
intended to be applicable to the theory of Drinfeld modular curves and forms.
Let K be a function field with constant field k and let "infinity" be a fixed
place of K. Let C be the Dedekind domain consisting of all those elements of K
which are integral outside "infinity". The group G=GL_2(C) is important for a
number of reasons. For example, when k is finite, it plays a central role in
the theory of Drinfeld modular curves. Many properties follow from the action
of G on its associated Bruhat-Tits tree, T. Classical Bass-Serre theory shows
how a presentation for G can be derived from the structure of the quotient
graph (or fundamental domain) G\T.