קוד:הגדרת פולינום מאפס

\textbf{הגדרה:}

תהי $A\in M_k\left(\mathbb{F}\right)$. אומרים ש-$f\in\mathbb{F}\left[x\right]$ הוא \textbf{פולינום מאפס} ל-$A$, אם $f\neq 0$ וגם $f\left(A\right)=0$.

במילים, פולינום מאפס הוא פולינום )שונה מאפס( שהצבת המטריצה $A$ בו מחזירה את מטריצת האפס.