Bourbaki

Proposition 7

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

Lie Groups and Lie Algebras, chapter V, § 2. Reflections

The group W is dihedral (Chap. IV, § 1, no. 2) *of order 2m2m. It consists of the rotations ρ2nθ\rho_{2n\theta} and the products ρ2nθs\rho_{2n\theta} s for n∈Zn \in \mathbf{Z}. The transforms of D and D' by the elements of W are the transforms of D by the rotations ρnθ\rho_{n\theta} for n∈Zn \in \mathbf{Z}.

The Corollary to Prop. 6 shows that s′ss's is of order m, which gives the first assertion. The elements of W are thus of the form (s′s)n=ρ2nθ(s's)^n = \rho_{2n\theta} or (s′s)ns=ρ2nθs(s's)^n s = \rho_{2n\theta} s; the last assertion follows from this, since D′=ρθ(D)D' = \rho_\theta(D).

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.