Es sei ${\displaystyle {}V}$ ein endlichdimensionaler Vektorraum über einem Körper ${\displaystyle {}K}$ und es sei

${\displaystyle f\colon V\longrightarrow V}$

eine lineare Abbildung.

Dann ist die Menge

ein Hauptideal im Polynomring ${\displaystyle {}K[X]}$, das vom Minimalpolynom ${\displaystyle {}\mu _{f}}$ erzeugt wird.