Endliche Körpererweiterung/Diskriminante/Separabel/Nicht null bei Basis/Fakt

Aus Wikiversity

Es sei eine separable endliche Körpererweiterung vom Grad und sei eine -Basis von . Dann ist