math mathfrak g oplus mathfrak g' math consisting pairs math mathfrak xx' x mathfrak g x' mathfrak g' math operation math xx' yy' xy x'y' math copies math mathfrak g mathfrak g' math commute math x x' math let math mathfrak g math lie algebra math mathfrak math ideal math mathfrak g math canonical map math mathfrak g mathfrak g mathfrak math splits ie admits section math mathfrak g math said semidirect product math mathfrak math math mathfrak g mathfrak math math mathfrak g mathfrak g mathfrak ltimes mathfrak math see also semidirect sum lie algebras levi 's theorem says finite dimensional lie algebra semidirect product radical complementary subalgebra levi subalgebra derivations
Formal science Mathematics Pure mathematics Algebra Lie algebra