Bourbaki

Remark 8

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

Lie Groups and Lie Algebras, chapter VI, § 1. Root systems

Let R1,…,RpR_1, \ldots, R_p be root systems in vector spaces V1,…,VpV_1, \ldots, V_p, RR the direct sum of the RiR_i in V=∏iViV = \prod_i V_i, CiC_i a chamber of RiR_i, and Bi=B(Ci)B_i = B(C_i). It is immediate that C=∏iCiC = \prod_i C_i is a chamber of RR and that B(C)=⋃iBiB(C) = \bigcup_i B_i. It follows from Th. 2 that all the chambers and bases of RR are obtained in this way.

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.