Si I es un "ideal" de A, entonces el espacio cociente A/I se convierte en un álgebra de Lie definiendo ["x" + I, "y" + I] = ["x", "y"] + I para todo "x", "y" ∈ A.