Definition Minimalpolynom:

Sei L/K eine Koerpererweiterung und a aus L algebraisch ueber K. Es ist K[X] ein Hauptidealring.

Das Minimalpolynom von a ueber K ist der normierte (Leitkoeffizient 1) Erzeuger des Kerns des Einsetzungshomomorphismusses.