Definition 1
Tag 0AWZ, permanent. Cite it as [Bourbaki, Tag 0AWZ].
Lie Groups and Lie Algebras, chapter VI, § 2. Affine Weyl group
The group of affine transformations of E generated by the reflections for and is called the affine Weyl group of the root system R and denoted by (or simply by ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.