A locally compact group is a topological group whose underlying topological space is locally compact. Every locally compact Hausdorff group admits a nonzero regular Borel measure that is invariant under left translation. Such a measure is unique up to multiplication by a positive constant and is called a Haar measure.
Discrete groups, finite-dimensional Lie groups, and compact groups are locally compact groups.
