Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und sei f ∈ L {\displaystyle {}f\in L} ein algebraisches Element. Es sei P {\displaystyle {}P} das Minimalpolynom von f {\displaystyle {}f} .
Dann gibt es eine kanonische K {\displaystyle {}K} -Algebraisomorphie
![{\displaystyle K[X]/(P)\longrightarrow K[f],\,X\longmapsto f.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa236813a9af414f54c188ea987b12ea6527b747)