2024 Aug 08 – Nilpotent matrix and trace 2024 Aug 07 – Is the endomorphism $P(X)\mapsto P(X+1)-P(X)$ diagonalizable?