Haar measure
The Ryll-Nardzewski theorem yields the existence of a Haar measure on compact groups.