center -- make the ideal of central elements

Synopsis

• 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