All functions on this page were implemented by Hamid Mohammadzadeh. |
LieCoveringHomomorphism(L)
Inputs a finite dimensional Lie algebra L over a field, and returns a surjective Lie homomorphism phi : C-> L where:
|
LieEpiCentre(L)
Inputs a finite dimensional Lie algebra L over a field, and returns an ideal Z^*(L) of the centre of L. The ideal Z^*(L) is trivial if and only if L is isomorphic to a quotient L=E/Z(E) of some Lie algebra E by the centre of E. |
LieExteriorSquare(L)
Inputs a finite dimensional Lie algebra L over a field. It returns a record E with the following components.
|
LieTensorSquare(L)
Inputs a finite dimensional Lie algebra L over a field and returns a record T with the following components.
|
TensorCentre(L)
Inputs a finite dimensional Lie algebra L over aq field and returns the largest ideal N such that the induced homomorphism of nonabelian tensor squares (L otimes L) --> (L/N otimes L/N) is an isomorphism. |
generated by GAPDoc2HTML