A Cartan matrix is a square integer matrix who elements satisfy the following conditions.
1. is an integer, one of .
2. the diagonal entries are all 2.
3. off of the diagonal.
4. iff .
5. There exists a diagonal matrix such that gives a symmetric and positive definite quadratic form.
A Cartan matrix can be associated to a semisimple Lie algebra . It is a square matrix, where is the Lie algebra rank of . The Lie algebra simple roots are the basis vectors, and is determined by their inner product, using the Killing form.
(1)
|
In fact, it is more a table of values than a matrix. By reordering the basis vectors, one gets another Cartan matrix, but it is considered equivalent to the original Cartan matrix.
The Lie algebra can be reconstructed, up to isomorphism, by the generators which satisfy the Chevalley-Serre relations. In fact,
(2)
|
where are the Lie subalgebras generated by the generators of the same letter.
For example,
(3)
|
is a Cartan matrix. The Lie algebra has six generators . They satisfy the following relations.
1. .
2. and while .
3. .
4. .
5. and .
6. and .
From these relations, it is not hard to see that with the standard Lie algebra representation
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
|
In addition, the Weyl group can be constructed directly from the Cartan matrix, where its rows determine the reflections against the simple roots.