Remark 3
Tag 0C03, permanent. Cite it as [Bourbaki, Tag 0C03].
General Topology, chapter VIII, § 1. Complex numbers, quaternions
Every point of the group has a neighbourhood homeomorphic to (Chapter VI, § 2, no. 4, Proposition 5) but is not locally isomorphic to ; for if it were it would be abelian, since it is connected (Chapter VII, § 2, no. 2, Theorem 1), and this is not the case, since and belong to and (cf. Chapter V, § 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.