Lemma 1
Tag 0AJO, permanent. Cite it as [Bourbaki, Tag 0AJO].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let G be a connected topological group, Z its centre and a discrete subgroup of Z. Then the centre of is . Let y be an element of G whose class modulo is a central element of
G/Z'. Let be the mapping of G into G. Then is connected and contained in and hence . Therefore .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.