Corollary

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

Lie Groups and Lie Algebras, chapter VI, § 2. Affine Weyl group

The $(\overline{\omega}_i)_{i \in J}$ form a system of representatives in $P(R^-)$ of the non-zero elements of $P(R^-)/Q(R^-)$ .

Indeed, if we identify $\Gamma_c$ with $P(R^-)/Q(R^-)$ , the element $\gamma_i$ is identified with the class of $\overline{\omega}_i$ mod. $Q(R^-)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.