Weyl group

Conjugation of a Weyl element

Let be a root system, and be the group of all invertible linear endomorphisms leaving invariant, i.e.

Then the Weyl group of is a normal subgroup of , in particular for any and #m/thm/geo

Therewithal1

Proof

#missing/proof

#state/develop | #lang/en | #SemBr

Footnotes

  1. 1972. Introduction to Lie Algebras and Representation Theory, §9.2, p. 43 ↩