ハール測度
次に、formula_1 を乗法に対する位相群とみなすことにより、単数群 "U" に対して、formula_40 と正規化されたハール測度 formula_41 が唯１つ存在する。このとき formula_42 は μ を用いて以下の様に表される。