Invariants by derivation property for vectors

Given a vector field A=x+u1u++ϕum1 encoding an m-th order ODE, and X a vector field such that

[X,A]=λX+μA

(that is, a generalized Cinf-symmetry ODE). Then if w and y are differential invariants of X then A(w)A(y) is also a differential invariant.

Pasted image 20211019190635.png

IBD property is also applied to distributions.

It turns out that the vector fields above are the more general class of vector fields satisfying the IBDP (@MR2001541). But, are they independent?