Lie algebras MOC

Quotient Lie algebra

Given a Lie algebra and a Lie algebra ideal , the quotient Lie algebra is the quotient algebra, #m/def/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

#state/tidy | #lang/en | #SemBr