Locally compact group
This article defines a property that can be evaluated for a topological group (usually, a T0 topological group)
View a complete list of such properties
Definition
A locally compact group is a topological group whose underlying topological space is a locally compact space.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Compact group | ||||
| Discrete group |