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?