Endomorphism/Finite-dimensional/Minimal polynomial/Definition

Let ${\displaystyle {}V}$ be a finite-dimensional ${\displaystyle {}K}$-vector space and

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

a linear mapping. Then the uniquely determined normed polynomial ${\displaystyle {}\mu _{f}\in K[X]}$ of minimal degree fulfilling

${\displaystyle {}\mu _{f}(f)=0\,}$

is called the minimal polynom of ${\displaystyle {}f}$.