Kernel decomposition for coprime polynomials

p_{1}, \dots, p_{r}

are pairwise coprime, then

ker (\prod_{i} p_{i} (A)) = ⨁_{i} ker p_{i} (A) .

Bezout identities between the factors construct the corresponding projections.

 Ancestors (7)