Nice applications of the Haar measure The existence of the Haar measure is a beautiful result that has a lot of applications. For example, one can prove using the Haar measure that the category of representations of a compact Lie group is semi-simple. Do you know any other nice applications of the Haar measure?

One important "application" is Peter-Weyl theorem. A good article can be found at here.