ハール測度
By the scaling above the Haar measure on a finite group is given by formula_1070 for all formula_173