IMC 2000 · Problem 6

Day 27th IMC · London, United Kingdom

Statement

For an m×mm \times m real matrix AA, eAe^A is defined as n=01n!An\sum\limits_{n=0}^{\infty} \dfrac{1}{n!} A^n. (The sum is convergent for all matrices.) Prove or disprove, that for all real polynomials pp and m×mm \times m real matrices AA and BB, p(eAB)p(e^{AB}) is nilpotent if and only if p(eBA)p(e^{BA}) is nilpotent. (A matrix AA is nilpotent if Ak=0A^k = 0 for some positive integer kk.)

Official solution

Hidden so you can work on the problem first.