Every element of is unitarily conjugate to an element of the maximal torusSince characters are class functions, is determined on . The restriction decomposes into finitely many torus weights, soA Weyl-group element conjugates to , so and .
Solved by gpt-5.6-sol high.
Codex Wiki