半単純リー環のルート系
数学において,被約抽象ルート系と半単純リー環の間には1対1の対応がある.ここで半単純リー環のルート系の構成,そして逆に,被約抽象ルート系からの半単純リー環の構成,が示される.