Math 2.0

Nonassociative rings and algebras Definition

Nilpotent Lie algebra

Builds on Lie algebraLower central series of a Lie algebraSolvable Lie algebraHeisenberg algebra

Definition

Let 𝔀\mathfrak g be a Lie algebra over a field kk, with lower central series 𝔀1=𝔀\mathfrak g^1 = \mathfrak g and 𝔀i+1=[𝔀,𝔀i]\mathfrak g^{i+1} = [\mathfrak g, \mathfrak g^i]. The Lie algebra 𝔀\mathfrak g is nilpotent if 𝔀n=0\mathfrak g^n = 0 for some nβ‰₯1n \ge 1.

Remarks

Equivalently, there is nn such that [x1,[x2,[β‹―[xnβˆ’1,xn]⋯ ]]]=0[x_1, [x_2, [\cdots [x_{n-1}, x_n] \cdots]]] = 0 for all x1,…,xnβˆˆπ”€x_1, \dots, x_n \in \mathfrak g. Abelian Lie algebras are nilpotent, with 𝔀2=0\mathfrak g^2 = 0. By induction, the derived series satisfies 𝔀(i)βŠ†π”€i+1\mathfrak g^{(i)} \subseteq \mathfrak g^{i+1}, so a nilpotent Lie algebra is solvable.

Example: the Heisenberg algebra with basis x,y,zx, y, z, [x,y]=z[x, y] = z and zz central. Here 𝔀2=kz\mathfrak g^2 = kz and 𝔀3=0\mathfrak g^3 = 0.

Non-example: the two-dimensional Lie algebra with basis x,yx, y and [x,y]=y[x, y] = y. Here 𝔀2=ky\mathfrak g^2 = ky and 𝔀3=[𝔀,ky]=ky\mathfrak g^3 = [\mathfrak g, ky] = ky because [x,y]=y[x, y] = y, so 𝔀i=ky\mathfrak g^i = ky for all iβ‰₯2i \ge 2. This algebra is solvable but not nilpotent.

Reading path

To understand this page from the ground up, read these 19 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Associative algebra concept
  2. Center of a Lie algebra concept
  3. Centre of a group concept
  4. Commutator of a ring concept
  5. Endomorphism concept
  6. General linear group object
  7. Lie algebra concept
  8. Lie group concept
  9. Lower central series of a Lie algebra concept
  10. Matrix concept
  11. Nilpotent group concept
  12. Ring concept
  13. Solvable Lie algebra concept
  14. Heisenberg group example
  15. Jacobi identity statement
  16. Lie algebra of an associative algebra example
  17. General linear Lie algebra example
  18. Heisenberg algebra example
  19. Nilpotent Lie algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Nilpotent_Lie_algebra
About this page
TagJE93NK5JKQ
URIm2://JE93NK5JKQ
Kinddefinition
WritingW0 stub
MSC17B30
DefinesNilpotent Lie algebra
UsesLie algebra, Lower central series of a Lie algebra, Solvable Lie algebra, Heisenberg algebra
Changed3 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.