- 分離多項式 (分離多項式)
が分離多項式であるとは、
の代数閉包において重根を持たない多項式であることをいう。
- 分離的な元
を体の拡大とし、
を代数閉包とする。
が
上代数的であり、かつその
上の最小多項式が
において分離多項式であるとき、
上分離的であるという。代数的かつ最小多項式が分離的でないなら、その元は非分離的という。
- 分離拡大 (分離拡大)
体の拡大
が分離拡大であるとは、任意の
が
上分離的であることをいう。
(注) 分離拡大はその定義より代数拡大である。また、
を体の拡大として
が
上分離的であるなら
上分離的でもある。
さて、我々はすでにガロア理論/代数拡大で代数拡大についての種々の性質を見た。分離拡大についても同様の命題が成り立つことを予想するのは自然なことであり、そしてそれは実際に正しい。以下ではそれを目標にして、分離拡大の性質を論じる。
を代数拡大とする。このとき、以下が成り立つ。
(i) ![{\displaystyle |{\rm {Hom}}_{F}(K,{\bar {F}})|\leq [K:F]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a20171583c8f11ef8ee7cb858bf3b2bec85b056)
(ii)
が分離拡大である
ただし、
は、
上の準同型
全体の集合である。
- 証明
を
の最小多項式とする。
を体
上の準同型とする。このとき、
なので
つまり、
は
の根である。ところで、
は
で決まるので(ガロア理論/準備#命題_8)、
(
の根の個数)
なお、最後の等号はガロア理論/代数拡大#命題_2を使った。
したがって、(i) が示された。(ii) について、等号が成立するのは、
の根の個数が
と一致するとき、かつそのときであり、それは
の分離性の定義そのものである。
を体の代数拡大とし、それらを含む代数閉包
を取る。このとき、
である。
- 証明
全単射
を構成する。
に対して、
の拡張となっているような同型写像
が存在する。これは、ガロア理論/代数的閉体#定理_2において、
とすれば得られる。
このような対応
を一つ固定する(選択公理を使う)。
さて、
を、
で定める。
逆に、
を、
で定める。
これらは互いに逆写像であるので、全単射が構成され、命題は示された。
(i)
が代数拡大であるとする。各
が
上分離的であるなら
は分離拡大である。
(ii)
が分離拡大であるなら
も分離拡大である。
(iii)
を体の拡大とし、
を
上分離的な元とする。このとき
も
上分離的である。
- 証明
(i)
とする。分離拡大の定義の下にある(注)より、
としたとき、各
は分離拡大であるから、命題 1 より
である。ただし、
は代数閉包である。
命題 2 と ガロア理論/代数拡大#命題_3-(i) を繰り返し使うことで
を得る。同じ命題を使うことで
を得る。命題 1 より
は
上分離的である。
(ii) (i) と ガロア理論/代数拡大#定理_5 同様の手法で証明される。
(iii) (i) と同様の手法を使う。
本節では分離性の判定法を議論していく。
- 定義
環
を係数に持つ多項式
の微分を
で定める。
ただし、自然数
と
に対し、
(
回) である。
- 性質
多項式の微分について、以下が成立する。


分離性を判断する鍵となる命題は、以下の二つである。
を体とし、
とする。このとき、
が
の重根であることと
かつ
であることは同値である。
- 証明
が
で重根であるとき、
と書け、
であるので、
逆に、
のとき、
と除算すると、
なので
より
また、
より
つまり
であり、重根である。
を体とする。
が互いに素であることと、
となる
が存在することは同値である。
- 証明
が ユークリッド整域であることを利用すれば、ユークリッドの互除法 を使うことで
となる
が構成できる。ただし、
は最大公約多項式(すなわち、両方を割り切る次数が最大の多項式)である。詳細は省く。
を体の拡大とし、
の
上の最小多項式を
とする。このとき、
が
上分離的であることと
は同値である。
- 証明
のとき、
なので命題 4 より
は重根である。つまり、
は非分離的である。逆に、
が非分離的であるならば
となるような
は存在しない。仮に存在したとすると、
で
が成立するが、
はどちらも
で割り切れるので矛盾する。したがって、命題 5 より
は互いに素ではない。一方、
は既約多項式 (ガロア理論/代数拡大#命題_1より) であり、
であることから、これは
であることを指し示している。
- 定義 (完全体)
体
が完全(perfect)であるとは、任意の代数拡大体が分離的であるような体のことを言う。
- 定義 (標数)
体
の標数 (characteristic)
とは、自然に定まる唯一の環準同型
(
回) について、
となる最小の非負整数のことを指す。
(注) 体の標数は必ず 0 であるかまたは素数であるかのどちらかである。
標数が 0 である体は完全体である。
系7によると、分離拡大でない拡大
は、正の標数しかありえない。後のガロア理論/有限体で見るように、有限体の
という形の拡大は分離拡大であり、非分離拡大の例は頻繁に出てくるというわけではない。試しに非分離拡大を構成してみよう。
素数
を固定する。
として、
とする。
はアイゼンシュタインの既約判定法を用いることで、
内の既約多項式であることが言え、多項式に関するガウスの補題より
内の既約多項式であることがわかる。
を
と書くと、
であり、最小多項式は
であり、微分すると
になる。つまり、
は非分離拡大である。
さらに言えば、
は純非分離拡大といって、任意の
は、
乗すると
に入ってしまう。純非分離拡大などの非分離拡大はガロア理論では対象にされないが、可換体論/非分離拡大で扱われる。