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 . ThereforeFinally, 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
There are currently no matching articles.