Math 2.0

Nonassociative rings and algebras Definition

Cartan matrix

Builds on Root systemSimple rootsCorootMatrix

Definition

Let Φ\Phi be a root system in a Euclidean space EE with inner product (⋅,⋅)(\cdot, \cdot). Let Δ=(α1,…,αl)\Delta = (\alpha_1, \dots, \alpha_l) be a base of simple roots in a fixed order. The Cartan matrix of Φ\Phi with respect to Δ\Delta is the l×ll \times l matrix A=(aij)A = (a_{ij}) with entries aij=⟨αi,αj⟩=2(αi,αj)(αj,αj)=(αi,αj∨),a_{ij} = \langle \alpha_i, \alpha_j \rangle = \frac{2 (\alpha_i, \alpha_j)}{(\alpha_j, \alpha_j)} = (\alpha_i, \alpha_j^\vee), where αj∨\alpha_j^\vee is the coroot of αj\alpha_j.

Remarks

The diagonal entries are aii=2a_{ii} = 2, the other entries lie in {0,−1,−2,−3}\set{0, -1, -2, -3}, and aij=0a_{ij} = 0 if and only if aji=0a_{ji} = 0. Example: for B2B_2 with α1=e1−e2\alpha_1 = e_1 - e_2 and α2=e2\alpha_2 = e_2, one has (α1,α1)=2(\alpha_1, \alpha_1) = 2, (α2,α2)=1(\alpha_2, \alpha_2) = 1 and (α1,α2)=−1(\alpha_1, \alpha_2) = -1. So a12=2(−1)/1=−2a_{12} = 2(-1)/1 = -2 and a21=2(−1)/2=−1a_{21} = 2(-1)/2 = -1, and A=(2−2−12)A = \begin{pmatrix} 2 & -2 \\ -1 & 2 \end{pmatrix}. Non-example: (2−4−12)\begin{pmatrix} 2 & -4 \\ -1 & 2 \end{pmatrix} is not the Cartan matrix of a root system, since a12a21=4a_{12} a_{21} = 4 would force α1\alpha_1 and α2\alpha_2 to be proportional, which two simple roots never are. Some authors, for example in the theory of Kac–Moody algebras, use the transpose convention aij=⟨αj,αi⟩a_{ij} = \langle \alpha_j, \alpha_i \rangle. A different reordering of Δ\Delta conjugates AA by a permutation matrix, and a different base gives the same matrix up to such a reordering. This notion is not the Cartan matrix of an algebra in the representation theory of finite-dimensional algebras.

Reading path

To understand this page from the ground up, read these 5 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. Coroot concept
  2. Matrix concept
  3. Root system concept
  4. Simple roots concept
  5. Cartan matrix definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Cartan_matrix
About this page
TagFR9VCN1PS5
URIm2://FR9VCN1PS5
Kinddefinition
WritingW0 stub
MSC17B22, 17B20
DefinesCartan matrix
UsesRoot system, Simple roots, Coroot, Matrix
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.