Recent results have established necessary and sufficient conditions for a nonlinear system of the form

. with

, to be locally equivalent in a neighborhood of the origin in R
nto a controllable linear system. We combine these results with several versions of the global inverse function theorem to prove sufficient conditions for the transformation of a nonlinear system to a linear system. In doing so we introduce a technique for constructing a transformation under the assumptions that
![\\{g.[f.g],\\cdots ,(ad^{n-1}f.g)\\](/images/tex/3171.gif)
span an

-dimensional space and that
![\\{g.[f.g],\\cdots ,(ad^{n-2}f.g)\\](/images/tex/3172.gif)
is an involutive set.