Bourbaki

Corollary

Tag 0221, permanent. Cite it as [Bourbaki, Tag 0221].

Topologie algébrique, chapter IV, § 3. Groupes de Poincaré des groupes topologiques

Let G be a connected topological group and locally connected by arcs. Let G′G' be a connected covering of G, let pp be its projection and let e′e' be an element of the fibre N of the identity element ee of G. Endow G′G' with the unique continuous composition law m′:G′×G′→G′m': G'\times G'\rightarrow G' such that p∘m′=m∘(p,p)p\circ m'=m\circ (p, p) and m′(e′,e′)=e′m'(e', e') =e'. If i:N→G′i: N\rightarrow G' denotes the canonical injection, (G′,p,i)(G', p, i) is a central extension of G by N (A, I, p. 63).

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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.