Locally compact group

topological group G for which the underlying topology is locally compact and Hausdorff, so that the Haar measure can be defined