Lineare Abbildung/Minimalpolynom/Hauptideal/Fakt

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

$f\colon V\longrightarrow V$

eine lineare Abbildung.

Dann ist die Menge

${\left\{P\in K[X]\mid P(f)=0\right\}}$

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

Einen Beweis erstellen