Bourbaki

Remark 3

Tag 0C03, permanent. Cite it as [Bourbaki, Tag 0C03].

General Topology, chapter VIII, § 1. Complex numbers, quaternions

Every point of the group S2S_2 has a neighbourhood homeomorphic to R3\mathbf{R}^3 (Chapter VI, § 2, no. 4, Proposition 5) but S4S_4 is not locally isomorphic to R3\mathbf{R}^3; 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 ii and jj belong to S3S_3 and ij≠jiij \neq ji (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.

Cites

Transcribed from the printed volume. Not translated.