Math 2.0

Nonassociative rings and algebras Definition

Simple Lie algebra

Builds on Lie algebraLie idealAbelian Lie algebraSpecial linear Lie algebraGeneral linear Lie algebra

Definition

Let 𝔀\mathfrak g be a Lie algebra over a field kk. The Lie algebra 𝔀\mathfrak g is simple if:

  1. 𝔀\mathfrak g is not abelian;
  2. the only ideals of 𝔀\mathfrak g are 00 and 𝔀\mathfrak g.

Remarks

Example: the special linear Lie algebra 𝔰𝔩2(k)\mathfrak{sl}_2(k) with char⁑kβ‰ 2\operatorname{char} k \ne 2, basis e,h,fe, h, f and [h,e]=2e[h, e] = 2e, [h,f]=βˆ’2f[h, f] = -2f, [e,f]=h[e, f] = h. It is not abelian. Let II be a nonzero ideal and u=ae+bh+cf∈Iu = ae + bh + cf \in I nonzero. Then [e,[e,u]]=βˆ’2c e[e, [e, u]] = -2c\, e and [f,[f,u]]=βˆ’2a f[f, [f, u]] = -2a\, f lie in II; if aβ‰ 0a \ne 0 or cβ‰ 0c \ne 0, then II contains ee or ff, and bracketing with ff or ee gives hh and then all of 𝔰𝔩2(k)\mathfrak{sl}_2(k). If a=c=0a = c = 0, then h∈Ih \in I, and e=12[h,e]e = \tfrac12 [h, e] and f=βˆ’12[h,f]f = -\tfrac12 [h, f] lie in II. So I=𝔰𝔩2(k)I = \mathfrak{sl}_2(k).

Non-example: the general linear Lie algebra 𝔀𝔩n(k)\mathfrak{gl}_n(k) with nβ‰₯2n \ge 2 is not abelian, but it fails clause 2: the scalar matrices form a nonzero proper ideal.

Clause 1 excludes the one-dimensional Lie algebra, which has no ideals other than 00 and itself. For a nonzero 𝔀\mathfrak g, clause 1 can be replaced by [𝔀,𝔀]β‰ 0[\mathfrak g, \mathfrak g] \ne 0, and then clause 2 forces [𝔀,𝔀]=𝔀[\mathfrak g, \mathfrak g] = \mathfrak g.

Reading path

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

Show the path as a graph
Abelian Lie algebra, concept, no evidence levelAbelian Lie algebraconceptAssociative algebra, concept, no evidence levelAssociative algebraconceptCommutator of a ring, concept, no evidence levelCommutator of a ringconceptEndomorphism, concept, no evidence levelEndomorphismconceptGeneral linear group, object, no evidence levelGeneral linear groupobjectIdentity matrix, object, no evidence levelIdentity matrixobjectLie algebra, concept, no evidence levelLie algebraconceptLie ideal, concept, no evidence levelLie idealconceptMatrix, definition, no evidence levelMatrixdefinitionMatrix, concept, no evidence levelMatrixconceptRing, concept, no evidence levelRingconceptTrace of a matrix, concept, no evidence levelTrace of a matrixconceptVector space, definition, no evidence levelVector spacedefinitionJacobi identity, statement, no evidence levelJacobi identitystatementSquare matrix, definition, no evidence levelSquare matrixdefinitionLinear map, definition, no evidence levelLinear mapdefinitionLie algebra of an associative algebra, example, no evidence levelLie algebra of an ass…exampleMultilinear map, definition, no evidence levelMultilinear mapdefinitionAlternating multilinear map, definition, no evidence levelAlternating multiline…definitionGeneral linear Lie algebra, example, no evidence levelGeneral linear Lie al…exampleDeterminant, definition, no evidence levelDeterminantdefinitionSpecial linear group, object, no evidence levelSpecial linear groupobjectSpecial linear Lie algebra, example, no evidence levelSpecial linear Lie al…exampleSimple Lie algebra, definition, no evidence levelSimple Lie algebradefinition
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. Abelian Lie algebra concept
  2. Associative algebra concept
  3. Commutator of a ring concept
  4. Endomorphism concept
  5. General linear group object
  6. Identity matrix object
  7. Lie algebra concept
  8. Lie ideal concept
  9. Matrix definition
  10. Matrix concept
  11. Ring concept
  12. Trace of a matrix concept
  13. Vector space definition
  14. Jacobi identity statement
  15. Square matrix definition
  16. Linear map definition
  17. Lie algebra of an associative algebra example
  18. Multilinear map definition
  19. Alternating multilinear map definition
  20. General linear Lie algebra example
  21. Determinant definition
  22. Special linear group object
  23. Special linear Lie algebra example
  24. Simple Lie algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Simple_Lie_algebra
About this page
TagAMQDSPVZ5K
URIm2://AMQDSPVZ5K
Kinddefinition
WritingW0 stub
MSC17B20
DefinesSimple Lie algebra
UsesLie algebra, Lie ideal, Abelian Lie algebra, Special linear Lie algebra, General linear Lie 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.