Bourbaki

Exercise 5, § 3

Tag 040H, permanent. Cite it as [Bourbaki, Tag 040H].

Algebraic Topology, IV, p. 459

Let G be a connected locally simply connected topological group, let (G~,p)(\widetilde{G}, p) be a universal covering of G; we equip G~\widetilde{G} with its topological group structure for which pp is a group homomorphism. We denote by Z the center of G,e,e its identity element, Z~\widetilde{Z} the center of G~\widetilde{G} and e~\widetilde{e} its identity element. (a) Let ff be a continuous automorphism of the group G. Prove that there exists a unique continuous mapping f~:G~→G~\widetilde{f}:\widetilde{G}\rightarrow \widetilde{G} such that f~(e~)=e~\widetilde{f}(\widetilde{e}) =\widetilde{e} and p∘f~p\circ \widetilde{f} = f∘pf\circ p. Prove that f~\widetilde{f} is a group automorphism. Prove that the mapping φ:f↦f~\varphi :f\mapsto \widetilde{f} is an injective group morphism from Aut(G) into Aut(G~\widetilde{G}).

(b) We denote by Out(G) the quotient of the group Aut(G) by the subgroup of inner automorphisms; we define Out(G~\widetilde{G}) in an analogous manner. Prove that the homomorphism φ\varphi induces, by passing to the quotients, an injective group homomorphism ψ:\psi : Out(G) →\rightarrow Out(G~\widetilde{G}).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.