Formal multiplication by scalars. See the documentation of the formal Lie multiplication for more information.
i1 : L = lieAlgebra({a,b},Field=>ZZ/7) o1 = L o1 : LieAlgebra
i2 : 5@a++2@a o2 = (-2)a + (2)a o2 : L