定義
>>526の条件の下で、λ を X/H 上の複素Radon測度(過去スレ009の700)とし、
μ = λ^♯ (>>553)とする。
>>539より、μ = λ^♯ となる λ は一意に決まる。
λ を μ の β による商と言い、μ/β と書く。
ここで、β は f^♭ の定義(>>526)に使用したH の左 Haar 測度である。