Sei ${\displaystyle {}K}$ ein Körper, ${\displaystyle {}A}$ eine ${\displaystyle {}K}$-Algebra und ${\displaystyle {}f\in A}$ ein Element. Es sei ${\displaystyle {}P}$ das Minimalpolynom von ${\displaystyle {}f}$ über ${\displaystyle {}K}$.

Dann ist der Kern des kanonischen ${\displaystyle {}K}$-Algebrahomomorphismus

das von ${\displaystyle {}P}$ erzeugte Hauptideal.