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 written
The 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.
Write , . The linear operator vanishes on . On , the identity gives .
By the direct sum in part (i), every vector has a unique expression , and
Consequently
The 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 satisfy
Put . Both restrictions of vanish, so the direct sum gives
Hence 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 (0)

There are currently no matching articles.