Example 2

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

Lie Groups and Lie Algebras, chapter IV, § 1. Coxeter Groups

Let $\mathfrak{S}_n$ be the symmetric group of degree n, with $n \geq 2$ . Let $s_i$ be the transposition of i and $i+1$ for $1 \leq i < n$ , and let S = {s_1, ..., s_{n-1}}. One can show (§ 2, no.4, Example and § 1, Exerc. 4) that $(\mathfrak{S}_n, S)$ is a Coxeter system.

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

Cited by

Nothing.

Cites

§ 1, Exerc. 4
§ 2, no.4