Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Name/Inhalt

Sei ${}K\subseteq L$ eine Körpererweiterung und sei ${}f\in L$ ein algebraisches Element. Dann gelten folgende Aussagen.

1. Das Minimalpolynom ${}P$ von ${}f$ über ${}K$ ist irreduzibel.
2. Wenn ${}Q\in K[X]$ ein normiertes, irreduzibles Polynom mit ${}Q(f)=0$ ist, so handelt es sich um das Minimalpolynom.