Macaulay2 » Documentation
Packages » GradedLieAlgebras :: FGLieSubAlgebra

next | previous | forward | backward | up | index | toc

FGLieSubAlgebra -- the class of all finitely generated Lie subalgebras

Description

This type represents finitely generated Lie subalgebras, which is a subtype of LieSubAlgebra.

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : S=lieSubAlgebra{a}

o2 = S

o2 : FGLieSubAlgebra

See also

LieIdeal -- the class of all Lie ideals
LieSubAlgebra -- the class of all Lie subalgebras

Methods that use an object of class FGLieSubAlgebra :

annihilator(FGLieSubAlgebra) -- make the annihilator Lie subalgebra
quotient(LieIdeal,FGLieSubAlgebra) -- make the quotient of a Lie ideal by a finitely generated Lie subalgebra

For the programmer

The object FGLieSubAlgebra is a type, with ancestor classes LieSubAlgebra < LieSubSpace < VectorSpace < HashTable < Thing.