>
|
|
Example 1.
We consider the Lie algebra This is the 24-dimensional real Lie algebra of 6×6 complex matrices which are trace-free and skew-Hermitian with respect to the quadratic form . We use the command SimpleLieAlgebraData to initialize this Lie algebra.
>
|
|
>
|
|
| (2.1) |
We use the command SimpleLieAlgebraProperties to obtain the Cartan subalgebra, the root space decomposition, and the simple roots.
su33 >
|
|
The result is a table. Here is the Cartan subalgebra for
su33 >
|
|
| (2.2) |
Here is the root space decomposition for
su33 >
|
|
| (2.3) |
Here are the positive roots.
su33 >
|
|
| (2.4) |
Let us find where is the first root (2.4)
su33 >
|
|
| (2.5) |
su33 >
|
|
| (2.6) |
We check that is in the Cartan subalgebra.
su33 >
|
|
| (2.7) |
Here are the root spaces for and
su33 >
|
|
| (2.8) |
su33 >
|
|
| (2.9) |
We check that defines a Lie subalgebra.
su33 >
|
|
| (2.10) |
If we scale the vectors X and Y then the structure equations take the standard form for .
su33 >
|
|
| (2.11) |
Example 2.
We illustrute how to use RootToCartanSubalgebraElementH to calculate the Cartan matrix for We first calculate the for the simple roots .
su33 >
|
|
| (2.12) |
su33 >
|
|
| (2.13) |
Then we calculate the Killing form , restricted to subspace [
su33 >
|
|
| (2.14) |
The Cartan matrix is given by normalizing the entries of
su33 >
|
|
| (2.15) |
The Lie algebra is a rank 5 simple Lie algebra of type "A". The matrix in (2.15) is therefore correct.
su33 >
|
|
| (2.16) |