Use the monomial basis , . Direct differentiation gives
with the endpoint terms zero. Repeated application therefore gives , while and . Each nilpotency index is exactly , so
Next
and hence . These real eigenvalues are distinct. A polynomial annihilates this operator exactly when it vanishes at all of them, giving
The commutator is diagonal in the displayed monomial basis. Since , are nonzero nilpotent linear map; a diagonalizable nilpotent map would have a diagonal matrix with all eigenvalues zero and thus be the zero map. Therefore only is diagonalizable. The calculation realizes raising and lowering on binary homogeneous polynomials.

Articles by others on the same topic (0)

There are currently no matching articles.