Let k be the finite field with q elements, let F be the field of Laurent series in the variable 1/t with coefficients in k, and let A be the polynomial ring in the variable t with coefficients in k. Let SLn(F) be the ring of nxn-matrices with entries in F, and determinant 1. Given a polynomial g in A, let Gamma(g) subset SLn(F) be the full congruence subgroup of level g. In this thesis...