半単純リー環のルート系
同型により,半単純リー環の分類は被約抽象ルート系を分類するいくぶん簡単な仕事に帰着される.