The reflection group of a root system is
Every generating reflection permutes , so every does too. If is fundamental, then is a basis contained in . Writing
shows that
the coefficients are unchanged and therefore still have one sign. Thus is another fundamental system, and acts on the set of all fundamental systems.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.