「ガロア理論/分離拡大」の版間の差分

<math>F</math> を体とし、<math>\alpha \in XF, \, f(X) \in F[X]</math> とする。このとき、<math>\alpha</math> が <math>f(X)</math> の重根であることと <math>f(\alpha) = 0</math> かつ <math>f'(\alpha) = 0</math> であることは同値である。