Lie algebras MOC Quotient Lie algebra Given a Lie algebra and a Lie algebra ideal , the quotient Lie algebra is the quotient algebra, lie i.e. a Lie algebra on (additive) cosets of with the well-defined product for and the canonical projection yielding the short exact sequence tidy | en | sembr