Macaulay2 » Documentation
Packages » GradedLieAlgebras :: center
next | previous | forward | backward | up | index | toc

# center -- make the ideal of central elements

- Usage:
    `c=center(L)`
- Inputs:
  - L, an instance of the type LieAlgebra,
- Outputs:
  - c, an instance of the type LieIdeal, the ideal of central elements

## Description

    i1 : L = lieAlgebra{a,b,c}/{a b,a c,c b c,b b c b}

    o1 = L

    o1 : LieAlgebra

    i2 : C = center L

    o2 = C

    o2 : LieIdeal

    i3 : dims(1,5,C)

    o3 = {1, 0, 1, 0, 0}

    o3 : List

    i4 : basis(3,C)

    o4 = {(b c b)}

    o4 : List

## See also

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

## Ways to use center:

- `center(LieAlgebra)`

## For the programmer

The object center is a method function.

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