Kernel decomposition for coprime polynomials
= Kernel decomposition for coprime polynomials
If $p_1,\ldots,p_r$ are pairwise coprime, then
$$
\ker\!\left(\prod_i p_i(A)\right)
=\bigoplus_i\ker p_i(A).
$$
Bezout identities between the factors construct the corresponding projections.