Es sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung vom Grad n {\displaystyle {}n} und R {\displaystyle {}R} der zugehörige Zahlbereich. Es sei a {\displaystyle {}{\mathfrak {a}}} ein von 0 {\displaystyle {}0} verschiedenes Ideal in R {\displaystyle {}R} . Dann enthält a {\displaystyle {}{\mathfrak {a}}} Elemente b 1 , … , b n {\displaystyle {}b_{1},\ldots ,b_{n}} , die eine Q {\displaystyle {}\mathbb {Q} } -Basis von L {\displaystyle {}L} sind.
