ハール測度
局所体 "K" の付値環を "R" とすると、"R" はコンパクトであるので、"K" を加法に対する位相群とみなすことにより、"K" 上のハール測度 μ で、formula_38 と正規化されたものが唯一存在する。