分離拡大
体論という代数学の分野において、分離拡大（ぶんりかくだい、）は代数的な体の拡大 であって、すべての に対して の 上の最小多項式が分離多項式である（すなわち相異なる根をもつ；この文脈における定義については下記を参照）ようなものである。そうでなければ、拡大は非分離 (inseparable) と呼ばれる。分離代数拡大の概念の他の同値な定義があり、これらは後でこの記事で概説される。
分離拡大の重要性は正標数のガロワ理論においてそれらが果たす基本的な役割にある。より具体的には、有限次体拡大がガロワ拡大であることと正規拡大かつ分離拡大であることが同値である。標数 の体や有限体の代数拡大は分離的だから、ガロワ理論のたいていの応用において分離性は障害ではない。例えば、有理数体のすべての代数拡大（特に有限次拡大）は分離的である。
数学において分離拡大はあらゆるところで現れるが、その対極である純非分離拡大もまたきわめて自然に現れる。代数拡大 が純非分離拡大であることと、すべての に対して の 上の最小多項式が分離多項式でない（つまり相異なる根をもたない）ことが同値である。体 が非自明な純非分離拡大をもつためには、素数標数の無限体（すなわち例えば不完全）であることが必要である、なぜならば完全体の任意の代数拡大は分離的だからだ。
ある体 "E" に係数をもつ任意の多項式 "f" は、deg("f") 個の根をある拡大体 においてもつときに"相異なる根" (distinct roots) をもつと言う。例えば、実係数多項式 "g"("X") = "X" + 1 はちょうど deg("g") = 2 つの根、すなわち虚数単位 "i" とその加法逆元 −"i", を複素平面にもつ。したがってたしかに異なる根を"もつ"。一方、実係数多項式 "h"("X") = ("X" − 2) は異なる根をもた"ない"。複素平面において 2 だけがこの多項式の根でありしたがって1つの根しか持たず deg("h") = 2 つではない。
多項式が相異なる根をもつかどうかテストするために、体の拡大を明示的に考えたり根を計算したりする必要はない。多項式が相異なる根をもつことと多項式とその微分のが定数であることは同値である。例えば、上の段落の多項式 "g"("X") = "X" + 1 の微分は 2"X" であり、標数が 2 でない体上では "g"("X") − ((1/2) "X") 2"X" = 1 であるので、ベズーの等式により、最大公約数は定数である。一方、2 = 0 であるような体上では、最大公約数は "g" であり、"g"("X") = ("X" + 1) は 1 = −1 を二重根としてもつ。一方、多項式 "h" は係数体がなんであれ相異なる根をもた"ない"、実際 "h"("X") = ("X" − 2) の微分は 2("X" − 2) であり "h" を割り切るので、 の形の因子を に対して"確かに"もつ。
有理あるいは実係数の任意の多項式は相異なる根をもたないかもしれないが、この段階で有理あるいは実係数の"既約多項式"であって相異なる根をもたないものが存在するか否かを問うことは自然である。多項式 "h"("X") = ("X" − 2) は相異なる根をもたないが、非自明な因子 ("X" − 2) をもつので既約ではない。実は、"有理あるいは実係数の既約多項式であって相異なる根をもたないものは存在しない"ということは正しい。体論の言葉でいえば、 あるいは のすべての代数拡大は分離的でありそれゆえこれらの体は両方とも完全である。
"F"["X"] の多項式 "f" が"分離多項式" (separable polynomial) であるとは、"F"["X"] における "f" のすべての既約因子が相異なる根をもつということである。多項式の分離性は係数をどの体で考えているかに依存する。例えば、"g" が "F"["X"] の非分離多項式で、"g" の "F" 上の分解体 "E" を考えると、"E"["X"] における "g" の任意の既約因子は線型でありしたがって相異なる根をもつので、"g" は "E"["X"] において分離的である必要がある。これにもかかわらず、"F"["X"] の分離多項式 "h" は "F" の "すべての" 拡大体上で分離的でなければならない。
"F"["X"] の元 "f" を既約多項式とし "f"′ をその形式微分とする。このとき以下の条件は "f" が分離的である、すなわち相異なる根をもつための同値な条件である。
上記最後の条件から、既約多項式が相異なる根をもたなければ、その微分は 0 でなければならない。次数が正の多項式の形式微分が 0 になるのは体が素数標数のときに限るから、既約多項式が相異なる根をもたないためにはその係数は素数標数の体に入っていなければならない。より一般に、既約（非零）多項式 "f" ∈ "F"["X"] が相異なる根をもたなければ、 "F" の標数が（零でない）素数 "p" でなければならないだけでなく、ある"既約"多項式 "g" ∈ "F"["X"] に対して "f"("X")="g"("X") である。この性質を繰り返し用いることによって、実はある非負整数 "n" とある"分離既約"多項式 "g" ∈ "F"["X"] に対して formula_1 であるということが従う（ただし "F" は素数標数 "p" をもっているとする）。
上の段落に書かれた性質から、"f" が素数標数 "p" の体 "F" に係数をもつ既約（非零）多項式で、相異なる根をもたなければ、"f"("X")="g"("X") と書くことができる。さらに、formula_2 で "F" のフロベニウス自己準同型が自己同型であれば、"g" は formula_3 と書くことができ、とくに、formula_4 である。これは "f" の既約性に矛盾する。したがって、"F"["X"] が非分離既約（非零）多項式をもつならば、"F" のフロベニウス自己準同型は自己同型ではありえない（ただし "F" は素数標数 "p" をもつとする）。
"K" が素数標数 "p" の有限体で "X" が不定元であれば、"K" 上の有理関数体 "K"("X") は不完全体である必要がある。さらに、多項式 "f"("Y")="Y"−"X" は非分離である。（このことを確かめるには、"f" が根 をもつような拡大体 が存在することに注意しよう。すると "E" において formula_5 である。したがって、"E" 上で考えることにより、formula_6（最後の等号は から従う）であり、"f" は相異なる根をもたない。）より一般に、"F" が正標数の任意の体でフロベニウス自己準同型が自己同型でなければ、"F" は非分離代数拡大を有する。
体 "F" が完全であることとその代数拡大のすべてが分離的であることは同値である（実は "F" のすべての代数拡大が分離的であることと "F" のすべての有限次元拡大が分離的であることは同値である）。上の段落で概説された議論から、"F" が完全であることと "F" の標数が 0 であるかまたは "F" の標数は素数 "p" でフロベニウス自己準同型が自己同型であることが同値であることが従う。分離拡大は任意の代数体拡大において極めて自然に生じる。より具体的には、 が代数拡大で formula_7 であれば、"S" は "F" 上"分離的"で "E" が"純非分離"な唯一の中間体である。 が有限次拡大であれば、次数 ["S" : "F"] は拡大 の次数の分離部分 (separable part)（あるいは "E"/"F" の分離次数 (separable degree)）と呼ばれ、しばしば ["E" : "F"] あるいは ["E" : "F"] と表記される。"E"/"F" の非分離次数 (inseparable degree) は次数の分離次数による商である。"F" の標数が "p" > 0 であるときは、"p" のベキである。拡大 が分離的であることと であることは同値であるので、分離拡大に対しては ["E" : "F"]=["E" : "F"] であり、逆も成り立つ。 が分離的でなければ（すなわち非分離であれば）["E" : "F"] は ["E" : "F"] の非自明な約数である必要があり商は "F" の標数のベキである必要がある。
一方で、任意の代数拡大 は "F" 上"純非分離"で "E" が"分離"であるような中間拡大 "K" をもたないかもしれない（しかしながら、そのような中間拡大は が有限次正規拡大のとき確かに存在する（このとき "K" は "F" 上の "E" のガロワ群の固定体にとることができる））。そのような中間拡大が存在するならば、そして ["E" : "F"] が有限であれば、そして "S" が前の段落でのように定義されていれば、["E" : "F"]=["S" : "F"]=["E" : "K"]。この結果の1つの有名な証明は原始元定理に依存するが、原始元定理とは独立なこの結果の証明は確かに存在する（どちらの証明も次の事実を用いる。 が純非分離拡大で "f" ∈ "F"["X"] が分離既約多項式であれば、"f" は "K"["X"] においても既約である。）。上記の等式（["E" : "F"]=["S" : "F"]=["E" : "K"]）は次のことを証明するのに使える。 が ["E" : "F"] が有限であるようなものであれば、["E" : "F"]=["E" : "U"]["U" : "F"]。
"F" が任意の体であれば、"F" の分離閉包 (separable closure) "F" は "F" 上分離的な "F" の代数閉包の元全部からなる体である。これは "F" の極大ガロワ拡大である。定義によって、"F" が完全であることとその分離閉包と代数閉包が一致することは同値である（とくに、分離閉包の概念は不完全体に対してのみ興味がある）。
分離拡大の理論の多くの重要な応用は代数体拡大の文脈から生じるが、数学において（代数的とは限らない）分離体拡大を研究することが有益な重要な例がある。
（言い換えれば、"F" は分離 "k"-代数であれば "k" 上分離的である。）
"F"/"k" の分離超越基底 (separating transcendence basis) は "F" の代数的独立な部分集合 "T" であって "F"/"k"("T") が有限分離拡大であるようなものである。拡大 "E"/"k" が分離的であることと "E"/"k" のすべての有限生成部分拡大 "F"/"k" が分離超越基底をもつことは同値である。
"k" の体拡大 "L" で が整域になるようなものが存在したとしよう。すると が "k" 上分離的であることと の分数体が "L" 上分離的であることは同値である。
"F" の代数的な元はその最小多項式が分離的なときに " 上分離的" (separable over ) という。 が代数拡大であれば以下は同値である。
上記において (iii) は"原始元定理"として知られている。
代数的閉包 を固定し、"k" 上分離的な のすべての元からなる集合を で表記する。すると は "k" 上分離代数的であり の任意の分離代数拡大は に含まれる。それは "k" の（における）分離閉包 (separable closure) と呼ばれる。このとき は 上純非分離である。別の言い方をすれば、"k" が完全であることと は同値である。
分離性はケーラー微分を使い研究することができる。 を体 のとする。このとき
ただし等号成立と "F" が "k" 上分離的であることは同値。
とくに、 が代数拡大であれば、 と が分離的であることは同値である。
formula_11 を の基底とし formula_12 とする。このとき が formula_13 上分離代数的であることと行列 formula_14 が可逆であることは同値である。とくに、formula_15 であるとき、上の formula_16 は"分離超越基底" (separating transcendence basis) と呼ばれる。