Locally compact group

Definition
A locally compact group is a topological group whose underlying topological space is a locally compact space.