text xy mathfrak g math associative rings ideals precisely kernels homomorphisms given lie algebra math mathfrak g math ideal math mathfrak math one constructs ''factor algebra'' ''quotient algebra'' math mathfrak g mathfrak math first isomorphism theorem holds lie algebras since lie bracket kind infinitesimal commutator corresponding lie group say two elements math xy mathfrak g math ''commute'' bracket vanishes math xy math centralizer subalgebra subset math subset mathfrak g math set elements commuting '' math math '' math mathfrak z mathfrak g x mathfrak g
Formal science Mathematics Pure mathematics Algebra Lie algebra