[GAP Forum] RootSystem returning fail?

degraaf at science.unitn.it degraaf at science.unitn.it
Wed Nov 18 15:26:46 GMT 2009


Dear Dima,

Here the problem is that your Lie algebra is not semisimple;
you would need to take its derived subalgebra:

D:= LieDerivedSubalgebra(ll);

But then it returns fail as well, as the Cartan subalgebra is
not split over the rationals (and as far as I am aware GAP does
not have methods to factor polynomials over extensions):

h:= Basis( CartanSubalgebra(D) )[1];;
ad:= AdjointMatrix( Basis(ll), h );;
gap> MinimalPolynomial(Rationals,ad);
x^3-7*x

Best wishes,

Willem



Dear all,
is the following a bug, or a feature?
gap> aa;
[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
  [ [ 0, 2, 0, 0 ], [ 1, 1, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 1, 1 ] ],
  [ [ -2, 0, -4, -4 ], [ 0, 0, 0, 4 ], [ 1, 1, 0, 2 ], [ 0, -1, 0, -2 ] ],
  [ [ 0, 0, 0, 8 ], [ -2, 0, -4, 0 ], [ 0, -2, 0, -4 ], [ 1, 0, 0, 0 ] ] ]
gap> ll:=LieAlgebra(Rationals,aa);
<Lie algebra over Rationals, with 4 generators>
gap> RootSystem(ll);
fail
gap>

(In fact, I know that this algebra is isomorphic to gl(2,C), and I would like
to find its representation in M_2(C))

Thanks,
Dmitrii





More information about the Forum mailing list