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.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/GradedLieAlgebras/doc.m2:400:0.