Evaluate Bézout's identity for polynomials at :All these linear operators commute because they are polynomials in the same operator. Thus every can be writtenThe first summand belongs to and the second to , since applying the corresponding operator introduces the product .
If lies in both kernels, the same identity gives . Therefore the sum is direct:This is the kernel decomposition for coprime polynomials. It uses both annihilation by and the coprimality expressed by the Bézout identity.
By the direct sum in part (i), every vector has a unique expression , andConsequentlyThe complementary projection operator is , onto along . These are polynomial projections for a coprime decomposition. In particular the projection does not depend on which Bézout coefficients are chosen: its action on the two summands uniquely determines it.
Let and . By part (ii), these are complementary projection operators with images and . Thus acts as on and on .
The linear operator preserves both summands because it commutes with its own polynomials. Therefore preserves them too, and its restrictions satisfyPut . Both restrictions of vanish, so the direct sum givesHence is a nilpotent linear map. The operator is diagonalizable, since its two summands are its eigenspaces, and it commutes with . This illustrates the Jordan–Chevalley decomposition in the case of two distinct eigenvalues.
Articles by others on the same topic
There are currently no matching articles.