商李代数

quotient Lie algebra