Is there an example of a $n$ dimensional manifold $M$ and a natural number $k<n$ with a Lie subalgebra $L$ of $\chi^{\infty}(M)$ with the following property:



> 
> For every $x\in M$ the space $\{V\_x \in T\_x M\mid V\in L\} $ is a $k$ dimensional vector space $D\_x$ but the distribution $D$ consisting of all $D\_x,\;x\in M$ is not an integrable distribution.
> 
> 
> 


In the other word we search for a non integrable distribution $D$ of a manifold and a Lie algebra $L$ of vector fields such that $L$ is $D$-ample where $D$- ample means that the evaluation $L\_x$ of $L$ at every point $x$ is equal to $D\_x$.



A non integrable distribution arising from a Lie algebra of vector fields
No, this a consequence of the Frobenius theorem. Let $x\in M$, you can find $X\_1,..,X\_k\in L$ which is a basis of $D\_x$, for $Y,Z$ tangent to $D$ in a neighbourood $U$ of $x$, you can write $Y=f\_1X\_1+...+f\_kX\_k$ and $Y=g\_1X\_1+...+g\_kX\_k$, $[X,Y](y)\in D\_y, y\in U$. You can apply Frobenius.


Let $f,g$ be functions and $U,V\in L$, $[fU,gV]=d(gV).(f(U)-d(fU).(gV)=$


$(fdg(U))V+fgdV.U-(gdf(V))U-fgdU(V)=(fdg(U))V-(gdf(V))U+fg[U,V]$, since $[U,V]\in L$, we deduce that $[fU,gV]$ is tangent to $D$.


<https://en.wikipedia.org/wiki/Frobenius_theorem_(differential_topology)#Formulation_using_vector_fields>


