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

\begin{definition}

תהי $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$ בו מחזירה את מטריצת האפס.

\end{definition}