Centralizer lower bound for a root vector
ID: centralizer-lower-bound-for-a-root-vector
In a complex semisimple Lie algebra whose rank of a semisimple Lie algebra is , a root vector satisfies . To see this, select roots whose images form a basis of the real root span modulo , where . Take the highest endpoints of the root strings through both signs of each selected root. Their distinct root spaces commute with . Together with and , these give independent vectors in the Lie algebra centralizer.
New to topics? Read the docs here!