Let F be a function field, and A its adele ring. I want to consider U(A)/U(F), where U(A) is the space of strictly upper triangular matrices with entries from A, and U(F) is the same with entries from F. I was wondering anyone has an idea or a source that proves this space is compact so that we get a finite measure.
