|
>
|
 
|
Example 1.
First we initialize a Lie algebra and display the multiplication table.
|
>
|
![L1 := _DG([["LieAlgebra", Alg1, [5]], [[[1, 5, 1], 2], [[2, 3, 1], 1], [[2, 5, 2], 1], [[2, 5, 3], 1], [[3, 5, 3], 1], [[4, 5, 4], 2]]])](/support/helpjp/helpview.aspx?si=6601/file05819/math65.png)
|
|
![_DG([["LieAlgebra", Alg1, [5]], [[[1, 5, 1], 2], [[2, 3, 1], 1], [[2, 5, 2], 1], [[2, 5, 3], 1], [[3, 5, 3], 1], [[4, 5, 4], 2]]])](/support/helpjp/helpview.aspx?si=6601/file05819/math68.png)
| (2.1) |
|
>
|
|
Find the minimal subalgebra containing [e1, e3].
|
Alg1 >
|
![S1 := [e1, e3]](/support/helpjp/helpview.aspx?si=6601/file05819/math82.png)
|
|
Alg1 >
|
|
|
![[_DG([["vector", Alg1, []], [[[1], 1]]]), _DG([["vector", Alg1, []], [[[3], 1]]])]](/support/helpjp/helpview.aspx?si=6601/file05819/math89.png)
| (2.2) |
Find the minimal subalgebra containing [e2, e3].
|
Alg1 >
|
![S2 := [e2, e3]](/support/helpjp/helpview.aspx?si=6601/file05819/math99.png)
|
|
Alg1 >
|
|
|
![[_DG([["vector", Alg1, []], [[[1], 1]]]), _DG([["vector", Alg1, []], [[[2], 1]]]), _DG([["vector", Alg1, []], [[[3], 1]]])]](/support/helpjp/helpview.aspx?si=6601/file05819/math106.png)
| (2.3) |
|
Alg1 >
|
|
|
| (2.4) |
|
Alg1 >
|
|
|
| (2.5) |
Find the minimal subalgebra containing [e2, e5].
|
Alg1 >
|
![S3 := [e2, e5]](/support/helpjp/helpview.aspx?si=6601/file05819/math130.png)
|
|
Alg1 >
|
|
|
![[_DG([["vector", Alg1, []], [[[1], 1]]]), _DG([["vector", Alg1, []], [[[2], 1]]]), _DG([["vector", Alg1, []], [[[3], 1]]]), _DG([["vector", Alg1, []], [[[5], 1]]])]](/support/helpjp/helpview.aspx?si=6601/file05819/math137.png)
| (2.6) |
Example 2.
The command MinimalSubalgebra also works with matrices.
|
Alg1 >
|
![M := [Matrix([[1, 0, 0], [0, 1, 0], [1, 0, 0]]), Matrix([[0, 1, 0], [0, 1, 1], [0, 1, 0]])]](/support/helpjp/helpview.aspx?si=6601/file05819/math158.png)
|
|
![M := [Matrix(3, 3, {(1, 1) = 1, (1, 2) = 0, (1, 3) = 0, (2, 1) = 0, (2, 2) = 1, (2, 3) = 0, (3, 1) = 1, (3, 2) = 0, (3, 3) = 0}), Matrix(3, 3, {(1, 1) = 0, (1, 2) = 1, (1, 3) = 0, (2, 1) = 0, (2, 2) = 1, (2, 3) = 1, (3, 1) = 0, (3, 2) = 1, (3, 3) = 0})]](/support/helpjp/helpview.aspx?si=6601/file05819/math161.png)
| (2.7) |
|
Alg1 >
|
|
|
| (2.8) |
We can use the LieAlgebraData command to verify that the set of matrices N defines a 4-dimensional Lie algebra and to determine the commutator relationships.
|
Alg1 >
|
|
|
![_DG([["LieAlgebra", "L2", [4]], [[[1, 2, 3], 1], [[1, 3, 3], 1], [[1, 4, 4], 1], [[2, 3, 4], 1], [[2, 4, 3], 1], [[2, 4, 4], 1]]])](/support/helpjp/helpview.aspx?si=6601/file05819/math191.png)
| (2.9) |
|
Alg1 >
|
|
Here e1, e2, e3, e4 denote the four matrices N[1], N[2], N[3], N[4].
