Corollary 4
Tag 01ZU, permanent. Cite it as [Bourbaki, Tag 01ZU].
Topologie algébrique, chapter III, § 5. Homotopie et revêtements (cas des espaces localement connexes par arcs)
Let be a connected covering of B and let be a point of the fibre . In order that E be a Galois covering of B, it is necessary and sufficient that be a distinguished subgroup of . The group Aut is then isomorphic to the quotient group .
If is a distinguished subgroup of , the group Aut operates transitively on the fibre by Corollary 3, so that E is a Galois covering of B (I, p. 102, th. 2). The converse is assertion d) of Theorem 1 (III, p. 305). The last assertion follows from Corollary 3.
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.