Haar measure
コンパクト群はすべてハール測度を持ち、それは左右両方の移動によって不変である（モジュラス関数は正の実数 への連続準同型でなければならないので である）。言い換えると、これらの群はユニモジュラーである。ハール測度は、円周上の " と同様、容易に確率測度に正規化される。"