van Dantzig's theorem

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo totally disconnected locally compact groups
gptkbp:concerns locally compact groups
gptkbp:field gptkb:topology
https://www.w3.org/2000/01/rdf-schema#label van Dantzig's theorem
gptkbp:namedAfter gptkb:David_van_Dantzig
gptkbp:publishedIn gptkb:Fundamenta_Mathematicae
gptkbp:state every neighborhood of the identity in a totally disconnected locally compact group contains a compact open subgroup
gptkbp:yearProposed 1936
gptkbp:bfsParent gptkb:David_van_Dantzig
gptkbp:bfsLayer 7