quotient Lie algebra