Matrices Commuting with Matrix Exponential

[fresh_42]

Thanks.

Looking at this in terms of a power series really misses the mark as we have powerful diagonalization theorems that we may lean on.

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.