Question

サイトゥー

大学の代数学の問題です。

Kを標数が2でも3でもない体とする。
モニック3次多項式f(X)€K[X]のKバーにおける根をα、β、γとし、f(X)の判別式をD(f)=｛(α−β)(β−γ)(γ−α)｝^2 で定義する。
f(X)がK[X]の既約多項式の時、K(α)がf(X)の分解体であることと、√D(f)€Kが同値であることを示せ

€は含まれるの記号です。

回答よろしくお願いします！

代数学