実半単純リー代数の分類に関する基本的な概念