Sigma-compact open subgroup of a locally compact group

ID: sigma-compact-open-subgroup-of-a-locally-compact-group

A compact identity neighbourhood produces a symmetric compact neighbourhood . The subgroup is open because it contains an identity neighbourhood, and is sigma-compact because each finite product is compact. This construction does not require the original group itself to be sigma-compact.

New to topics? Read the docs here!