さて、我々はすでにガロア理論/代数拡大で代数拡大についての種々の性質を見た。分離拡大についても同様の命題が成り立つことを予想するのは自然なことであり、そしてそれは実際に正しい。以下ではそれを目標にして、分離拡大の性質を論じる。
を代数拡大とする。このとき、以下が成り立つ。
(i)
(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 である体は完全体である。