[GAP Forum] Help with recovering Lie brackets

Alan Hylton agh314 at lehigh.edu
Sun Apr 25 18:33:13 BST 2021


Hi everyone,

I am brand new to GAP. I am trying to follow along the Lie algebra
documentation here:
https://www.gap-system.org/Manuals/doc/ref/chap64_mj.html

Right now I can create my Lie algebra:

gap> L := SimpleLieAlgebra( "F", 4, Rationals );

and I can my positive/negative roots and Cartan:

gap> ChevalleyBasis(L);
[ [ v.1, v.2, v.3, v.4, v.5, v.6, v.7, v.8, v.9, v.10, v.11, v.12, v.13,
v.14, v.15, v.16, v.17, v.18, v.19,
      v.20, v.21, v.22, v.23, v.24 ], [ v.25, v.26, v.27, v.28, v.29, v.30,
v.31, v.32, v.33, v.34, v.35, v.36,
      v.37, v.38, v.39, v.40, v.41, v.42, v.43, v.44, v.45, v.46, v.47,
v.48 ], [ v.49, v.50, v.51, v.52 ] ]

But I cannot figure out how to do basic computations - like [e1, e2]. There
is a function called LieBracket, and the documentation suggests that *
works, but I can't get either to work.

I would also like to see if I can return a list of non-trivial bracket
relations, or structure constants. I found there is a function called
StructureConstantsTable, but it does not seem to work with L.

I'm sorry to ask what is surely simple stuff - I just don't see it yet.

Thanks!
agh


More information about the Forum mailing list