This is a key for a LieAlgebra L, which gives the zero element.
i1 : L=lieAlgebra{a,b,c}/{a b, a a b - b b c} o1 = L o1 : LieAlgebra
i2 : L.zz o2 = 0 o2 : L
The object zz is a symbol.