Kernel decomposition for coprime polynomials (source code)

= 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.