Finiteness of minimal modular symbols for SL(n)

Let K be a number field with ring of integers O, and let G be a finite-index subgroup of SL(n,O). Using a classical construction from the geometry of numbers and the theory of modular symbols, we exhibit a finite spanning set for the highest nonvanishing rational cohomology group of G.