Math 2.0

Nonassociative rings and algebras Definition

Parabolic subalgebra

Builds on Lie algebraLie subalgebraBorel subalgebraAlgebraically closed fieldCharacteristic of a fieldSpecial linear Lie algebraGeneral linear Lie algebra

Definition

Let kk be an algebraically closed field of characteristic 00, and let 𝔀\mathfrak g be a finite-dimensional Lie algebra over kk. A parabolic subalgebra of 𝔀\mathfrak g is a subalgebra 𝔭\mathfrak p of 𝔀\mathfrak g that contains a Borel subalgebra of 𝔀\mathfrak g.

Remarks

Example: in the general linear Lie algebra 𝔀𝔩3(k)\mathfrak{gl}_3(k), let 𝔭\mathfrak p be the set of matrices whose (3,1)(3, 1) and (3,2)(3, 2) entries vanish. It is closed under the commutator, since it is the set of matrices that map the plane ke1+ke2k e_1 + k e_2 into itself. It contains the upper triangular matrices, which form a Borel subalgebra, so 𝔭\mathfrak p is parabolic.

Non-example: in the special linear Lie algebra 𝔰𝔩2(k)\mathfrak{sl}_2(k), the line khkh spanned by h=diag⁑(1,βˆ’1)h = \operatorname{diag}(1, -1) is a subalgebra, but it is not parabolic. Every Borel subalgebra of 𝔰𝔩2(k)\mathfrak{sl}_2(k) has dimension 22, so none fits inside the one-dimensional khkh.

Every Borel subalgebra and the whole algebra 𝔀\mathfrak g are parabolic. For a semisimple 𝔀\mathfrak g with a fixed Borel subalgebra π”Ÿ\mathfrak b and base Ξ”\Delta of simple roots, the parabolic subalgebras containing π”Ÿ\mathfrak b correspond bijectively to the subsets of Ξ”\Delta.

Reading path

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

Show the path as a graph
Algebraically closed field, concept, no evidence levelAlgebraically closed …conceptAssociative algebra, concept, no evidence levelAssociative algebraconceptBorel subalgebra, concept, no evidence levelBorel subalgebraconceptCharacteristic of a field, concept, no evidence levelCharacteristic of a f…conceptCommutator 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 idealconceptLie subalgebra, concept, no evidence levelLie subalgebraconceptMatrix, 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…exampleParabolic subalgebra, definition, no evidence levelParabolic subalgebradefinition
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. Algebraically closed field concept
  2. Associative algebra concept
  3. Borel subalgebra concept
  4. Characteristic of a field concept
  5. Commutator of a ring concept
  6. Endomorphism concept
  7. General linear group object
  8. Identity matrix object
  9. Lie algebra concept
  10. Lie ideal concept
  11. Lie subalgebra concept
  12. Matrix definition
  13. Matrix concept
  14. Ring concept
  15. Trace of a matrix concept
  16. Vector space definition
  17. Jacobi identity statement
  18. Square matrix definition
  19. Linear map definition
  20. Lie algebra of an associative algebra example
  21. Multilinear map definition
  22. Alternating multilinear map definition
  23. General linear Lie algebra example
  24. Determinant definition
  25. Special linear group object
  26. Special linear Lie algebra example
  27. Parabolic subalgebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Parabolic_Lie_algebra
About this page
Tag191FBK3TGT
URIm2://191FBK3TGT
Kinddefinition
WritingW0 stub
MSC17B05, 17B20
DefinesParabolic subalgebra
UsesLie algebra, Lie subalgebra, Borel subalgebra, Algebraically closed field, Characteristic of a field, Special linear Lie algebra, General linear Lie 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.