Endliche Körpererweiterung/Diskriminante/Separabel/Nicht null bei Basis/Fakt
Es sei eine separable endliche Körpererweiterung vom Grad und sei eine -Basis von . Dann ist
Es sei eine separable endliche Körpererweiterung vom Grad und sei eine -Basis von . Dann ist