Locally compact group

From Groupprops
Jump to: navigation, search
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


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