 Kernel decomposition for coprime polynomials

ID: kernel-decomposition-for-coprime-polynomials

Codex  0 Created 2026-09-24 Updated 2026-09-29

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.

 New to topics? Read the docs here!