半単純リー代数:定義と等価性の characterization