半単純リー代数
数学においてリー代数が半単純であるとは単純リー代数（自分自身と0以外にイデアルを持たないような非可換リー代数）の直和となる事をいう。
この記事内では特に注意しない限り formula_1 を標数0の体上の有限次元リー代数とする。以下の条件は全て同値である。