Nilpotent Lie algebra

Branch of mathematics In mathematics, a Lie algebra g {\displaystyle {\mathfrak {g}}} is nilpotent if its lower central series terminates in the zero subalgebra. The lower central series is the sequence of subalgebras g ⊇ [ g , g ] ⊇ [ g , [ g , g ] ] ⊇ [ g , [ g , [ g , g ] ] ] ⊇ . . . {\displaystyle {\mathfrak {g}}\supseteq [{\mathfrak {g}},{\mathfrak {g}}]\supseteq [{\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}]]\supseteq [{\mathfrak {g}},[{\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}]]]\supseteq ...} We write g 0 = g {\displaystyle {\mathfrak {g}}_{0}={\mathfrak {g}}} , and g n = [ g , g n − 1 ] {\displaystyle {\mathfrak {g}}_{n}=[{\mathfrak {g}},{\mathfrak {g}}_{n-1}]} for all n > 0 {\displaystyle n>0} . If the lower central series eventually arrives at the zero subalgebra, then the Lie algebra is called nilpotent. The lower central series for Lie algebras is analogous to the lower central series in group theory, and nilpotent Lie algebras are analogs of nilpotent groups. The nilpotent Lie algebras are precisely those that can be obtained from abelian Lie algebras, by successive central extensions. Note that the definition means that, viewed as a non-associativ