McCoy theorem
= McCoy theorem
{c}
{wiki=McCoy's_theorem}
A polynomial $f\in R[t]$ is a zero divisor exactly when some nonzero scalar $a\in R$ annihilates it. One proof chooses a nonzero polynomial $g$ of minimal degree with $fg=0$ and successively kills its leading coefficient.