Locally compact group
A topological group whose underlying topological space is locally compact.
A locally compact group is a topological group whose underlying space is locally compact.
Checking local compactness
Because left and right translations are homeomorphisms, it is enough to check local compactness at the identity element. Lie groups, finite groups with the discrete topology, and the additive groups of and of the -adic integers are standard examples.