Bourbaki

Corollary 1

Tag 0BLL, permanent. Cite it as [Bourbaki, Tag 0BLL].

General Topology, chapter III, § 4. Groups operating properly on a topological space; compact ness in topological groups and spaces with operators

If GG is a totally disconnected locally compact group, then every neighbourhood of ee in GG contains an open subgroup of GG.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.