リー代数イデアルの定義、性質、演算