ハール測度
for Haar measure μ with μ("G") = 1. When "G" is finite it is given by