This section describes the functionality for universal enveloping algebras of Lie algebras. If a Lie algebra is semisimple and defined over a field of characteristic 0, then it is possible to write down an integral basis of the universal enveloping algebra that has nice properties. To accommodate this possibility, two constructions of a universal enveloping algebra are provided: a general construction, and one in which this integral basis is used. First we briefly describe the theoretical background behind universal enveloping algebras.
In Magma, universal enveloping algebras have type AlgUE and their elements have type AlgUEElt. Integral universal enveloping algebras have type AlgIUE and their elements have type AlgIUEElt. General algebras having a PBW basis (see below) have type AlgPBW (elements type AlgPBWElt) which inherit from types Alg and Rng. Consequently, the type AlgIUE inherits from AlgPBW.
Let L be a Lie algebra over the field F having basis x1, ..., xn. The universal enveloping algebra U(L) of L is the associative algebra with identity, generated by n symbols which are also denoted by x1, ..., xn. These generators satisfy the relations xjxi - xixj = [ xj, xi], 1≤i, j≤n>. Here [xj, xi] is the product in the Lie algebra L, so it is a certain linear combination of the xk.
The theorem of Poincaré-Birkhoff-Witt states that a basis of U(L) is formed by the set of all elements x1k1 ... xnkn, where the ki are non-negative integers. Furthermore, the product of two such basis elements may be rewritten as a linear combination of basis elements using the defining relations xjxi - xixj = [ xj, xi] for j>i.
If the Lie algebra L happens to be (split) semisimple and of characteristic 0, then the universal enveloping algebra has a nice basis described by [Kos66]. The first step in constructing this basis involves taking a Chevalley basis of L, consisting of the elements y1, ..., ys, h1, ..., hr and x1, ..., xs. Here the yi and xi are root vectors belonging to negative roots and positive roots, respectively. The hi are basis elements of a Cartan subalgebra. In the universal enveloping algebra we use the divided powers yi(n) = (yin/n!), xi(n) = (xin/n!), and the binomials (hi choose k ) = ( hi(hi - 1) ... (hi - k + 1)/k!). A basis of U(L) is formed by the elements y1(m1) ... ys(ms) (h1choose k1) ... (hrchoose kr) x1(n1) ... xs(ns). This basis has the useful property that if we multiply two basis elements, the structure constants will be integers (usually of quite moderate size). So this is a basis of an integral form of the universal enveloping algebra.
This creates the universal enveloping algebra U of the Lie algebra L. Here the i-th basis element of L (i.e., L.i) corresponds to the i-th generator of U (i.e., U.i). Every product of generators is rewritten as a linear combination of Poincaré-Birkhoff-Witt monomials (cf. Section Universal Enveloping Algebras).
Given a semisimple Lie algebra L of characteristic 0, create the integral universal enveloping algebra U of L. The basis described in Section The Integral Form of a Universal Enveloping Algebra is used.Let x, y and h denote the output of ChevalleyBasis(L). Let s be the length of x, and r the length of h. Then every generator of U corresponds to an element of x, y or h. If 1≤i≤s then the i-th generator of U (i.e., U.i) corresponds to the i-th element of y. It is printed as y_i. If s + 1≤i≤s + r, then the i-th generator of U corresponds to the k-th element of h, where k=i - s. It is printed as [ h_k ; 1 ] (i.e., h_k choose 1). Finally, if s + r + 1≤i≤2s + r, then the i-th generator corresponds to the k-th element of x, where k=i - s - r. It is printed as x_k.
Using this form of the universal enveloping algebra has two advantages. Firstly, the structure constants are integers which usually remain relatively small. Secondly, multiplication of elements is, in general, much faster than is the case with universal enveloping algebras that employ PBW bases.
> T:= [ <4,1,1,1>, <1,4,1,-1>, <4,1,3,1>, <1,4,3,-1>, <4,2,2,1>, <2,4,2,-1>,
> <4,3,1,1>, <3,4,1,-1>, <3,1,2,1>, <1,3,2,-1> ];
> L:= LieAlgebra< Rationals(), 4 | T >;
> U:= UniversalEnvelopingAlgebra(L);
> U.4*U.1;
x_1*x_4 + x_1 + x_3
> L:= LieAlgebra("F4", Rationals());
> U:= IntegralUEA(L);
> U.29*U.1;
y_1*x_1 + [ h_1 ; 1 ]
> (1/4)*U.29^2*U.1^2;
y_1^(2)*x_1^(2) + y_1*[ h_1 ; 1 ]*x_1 - 2*y_1*x_1 + [ h_1 ; 2 ]
In the last example we divided by 4 because U.29^2 = 2 U.29^(2),
and likewise for U.1^2.
Assign the names in the sequence Q to the generators of the algebra U.
Given a universal enveloping algebra U with base ring R, together with a ring S, construct the algebra U' with base ring S obtained by coercing the coefficients of elements of U into S.
The ring of coefficients of the universal enveloping algebra U.
The Lie algebra corresponding to the universal enveloping algebra U.
Most functions in this section are applicable both to universal enveloping algebras and to integral universal enveloping algebras. Therefore, they are only documented once. An exception is the function HBinomial, which is only applicable to integral universal enveloping algebras.
The zero element of the universal enveloping algebra U.
The identity element of the universal enveloping algebra U.
The i-th generator of the universal enveloping algebra U.
Returns r as an element of the enveloping algebra U where r may be anything coercible into the coefficient ring of U or an element of another enveloping algebra of the same type as U whose coefficients can be coerced into the coefficient ring of U.
This function is applicable only in the case of integral universal enveloping algebras. It is used for constructing the "binomial" elements hi choose n. In the first form U is an integral universal enveloping algebra, and i is an index between 1 and the rank of the root datum. In the second form, the element h is simply U.(s+i), where s is the number of positive roots.
> L:= LieAlgebra("E6",Rationals());
> U:= IntegralUEA(L);
> HBinomial(U, 4, 10);
[ h_4 ; 10 ]
The sequence of the monomials that occur in the element u of a universal enveloping algebra.
The sequence of coefficients of the monomials in the element u of a universal enveloping algebra. The k-th element of this sequence corresponds exactly to the k-th monomial in the sequence returned by Monomials(u).
Given an element u of a universal enveloping algebra U and an integer i, this function returns the degree of u in the i-th generator of U.
> L:= LieAlgebra("G2",Rationals());
> U:= IntegralUEA(L);
> c:= U.7*U.2;c;
y_2*[ h_1 ; 1 ] + 3*y_2
> Monomials(c);
[
y_2*[ h_1 ; 1 ],
y_2
]
> Coefficients(c);
[ 1, 3 ]
> c:= U.10*U.7*U.2; c;
y_2*[ h_1 ; 1 ]*x_2 + 6*y_2*x_2 + [ h_1 ; 1 ]*[ h_2 ; 1 ] + 3*[ h_2 ; 1 ]
> Degree(c, 2);
1
> Degree(c, 7);
1
> Degree(c, 8);
1