Math 2.0

Nonassociative rings and algebras Definition

Abelian Lie algebra

Builds on Lie algebra

Definition

Let ๐”ค\mathfrak g be a Lie algebra over a field kk. ๐”ค\mathfrak g is abelian if [x,y]=0[x, y] = 0 for all x,yโˆˆ๐”คx, y \in \mathfrak g.

Remarks

Example: the diagonal matrices in ๐”ค๐”ฉn(k)\mathfrak{gl}_n(k) form an abelian Lie subalgebra. Two diagonal matrices D,Dโ€ฒD, D' satisfy DDโ€ฒ=Dโ€ฒDDD' = D'D, so [D,Dโ€ฒ]=0[D, D'] = 0.

Non-example: ๐”ฐ๐”ฉ2(k)\mathfrak{sl}_2(k) with charโกkโ‰ 2\operatorname{char} k \ne 2 is not abelian. For h=diagโก(1,โˆ’1)h = \operatorname{diag}(1, -1) and e=E12e = E_{12}, one has [h,e]=2eโ‰ 0[h, e] = 2e \ne 0.

Equivalent forms: ๐”ค\mathfrak g is abelian if and only if its center is ๐”ค\mathfrak g, if and only if [๐”ค,๐”ค]=0[\mathfrak g, \mathfrak g] = 0. Every vector space VV with the zero bracket is an abelian Lie algebra, and every linear map between abelian Lie algebras is a homomorphism.

Reading path

To understand this page from the ground up, read these 2 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. Lie algebra concept
  2. Abelian Lie algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lie_algebra
About this page
TagVQGXDN9827
URIm2://VQGXDN9827
Kinddefinition
WritingW0 stub
MSC17B05, 17B30
DefinesAbelian Lie algebra
UsesLie algebra
Changed3 November 2026

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.