Sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und sei f ∈ L {\displaystyle {}f\in L} ein algebraisches Element.
Dann ist die von f {\displaystyle {}f} erzeugte K {\displaystyle {}K} -Algebra K [ f ] ⊆ L {\displaystyle {}K[f]\subseteq L} ein Körper.
![{\displaystyle {}K[f]\subseteq L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa5225294ea918cce6937e9ac3abb4db9384a48d)