Es sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung vom Grad n {\displaystyle {}n} und es sei b ∈ L {\displaystyle {}b\in L} derart, dass die Potenzen 1 , b , b 2 , … , b n − 1 {\displaystyle {}1,b,b^{2},\ldots ,b^{n-1}} eine Q {\displaystyle {}\mathbb {Q} } -Basis von L {\displaystyle {}L} bilden. Es seien τ j : L → C {\displaystyle {}\tau _{j}\colon L\rightarrow {\mathbb {C} }} die n {\displaystyle {}n} verschiedenen Einbettungen in C {\displaystyle {}{\mathbb {C} }} .
Dann ist
eine
endliche Körpererweiterung
vom
Grad
und es sei
derart, dass die Potenzen 
eine
-Basis
von 
bilden. Es seien
die verschiedenen Einbettungen in 
.
