Root system

Dual root system

Let be a root system. To any root one associated a coroot #m/def/geo

and the set of all coroots forms the dual root system, whose Weyl group is canonically isomorphic to that of .1

Proof

#missing/proof

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

Footnotes

  1. 1972. Introduction to Lie algebras and representation theory, §9.2, p. 43 ↩