Es sei K {\displaystyle {}K} ein Körper, F 1 , … , F m {\displaystyle {}F_{1},\ldots ,F_{m}} Polynome in K [ X ] {\displaystyle {}K[X]} und K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung, über der alle F i , i ∈ { 1 , … , n } {\displaystyle {}F_{i},i\in \{1,\ldots ,n\}} in Linearfaktoren zerfallen. Es seien a 11 , … , a m n ∈ L {\displaystyle {}a_{11},\ldots ,a_{mn}\in L} die Nullstellen aller F i {\displaystyle {}F_{i}} . Dann nennt man
ein
Körper, 
Polynome in ![{\displaystyle {}K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7861df9df3d7463835d927c4d0d4c27f5e2f8416)
und 
eine
Körpererweiterung, über der alle 
in Linearfaktoren zerfallen. Es seien 
die Nullstellen aller 
. Dann nennt man
![{\displaystyle K[a_{11},\ldots ,a_{mn}]\subseteq L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d31a5cf737b743ceaa581ed39dea1922338c86b3)
