- 20,815
- 28,448
Thanks.
And if you want to kill the last "by-foot" step, you could substitute 4) by the adjoint representations and that exp is a local diffeo around 0.StoneTemplePython said:Looking at this in terms of a power series really misses the mark as we have powerful diagonalization theorems that we may lean on.