Example 5
Tag 01RC, permanent. Cite it as [Bourbaki, Tag 01RC].
Topologie algébrique, chapter I, § 5. Revêtements principaux
Let B be a topological space, let G be a topological group, and let E be a principal fibred B-space with group G. Let F be a topological homogeneous space relative to G (TG, III, p. 12). Let be a point of F and let be its stabiliser. The mapping of E into defines, by passing to quotients, a homeomorphism of onto . When the group G is abelian, the subgroup does not depend on the point , but the homeomorphism , in general, does depend on it.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.