半単純リー代数の導来代数の性質