Since and are coprime, Bézout's identity for polynomials gives with . For every ,
The first summand belongs to : applying gives . The second belongs to by the same calculation. Here all polynomials in commute, and . Thus .
If , both terms on the right of the identity vanish, so . Therefore
Finally, whenever ; hence . Replacing by proves . These are invariant subspaces; this is the coprime-factor case of the primary decomposition theorem for linear maps.

Articles by others on the same topic (0)

There are currently no matching articles.