Let M be a smooth manifod and X, a vector field. I define Lie brackets of functions:
[f,g]X=f.X(g)−X(f).g
f,g are smooth functions. We have the Jacobi identity for the Lie brackets. What are the ideals of the algebra of smooth functions equiped with the Lie brackets?