分離拡大のソースを表示

[[体論]]という[[抽象代数学|代数学]]の分野において、'''分離拡大'''（ぶんりかくだい、{{lang-en-short|separable extension}}）は[[代数拡大|代数的な体の拡大]] {{math|''E'' ⊃ ''F''}} であって、すべての {{math|''&alpha;'' &isin; ''E''}} に対して {{mvar|&alpha;}} の {{mvar|F}} 上の[[最小多項式 (体論)|最小多項式]]が[[分離多項式]]である（すなわち相異なる[[函数の根|根]]をもつ；この文脈における定義については[[#分離・非分離多項式|下記]]を参照）ようなものである<ref name="Isaacs281">Isaacs, p. 281.</ref>。そうでなければ、拡大は'''非分離''' (inseparable) と呼ばれる。分離代数拡大の概念の他の同値な定義があり、これらは後でこの記事で概説される。

分離拡大の重要性は正[[標数]]の[[ガロワ理論]]においてそれらが果たす基本的な役割にある。より具体的には、有限次体拡大が[[ガロワ拡大]]であることと[[正規拡大]]かつ分離拡大であることが同値である<ref>Isaacs, Theorem 18.13, p. 282.</ref>。標数 {{math|0}} の体や有限体の代数拡大は分離的だから、[[ガロワ理論]]のたいていの応用において分離性は障害ではない<ref name="Isaacs18.11p281">Isaacs, Theorem 18.11, p. 281.</ref><ref>Isaacs, p. 293.</ref>。例えば、有理数体のすべての代数拡大（特に有限次拡大）は分離的である。

数学において分離拡大はあらゆるところで現れるが、その対極である[[純非分離拡大]]もまたきわめて自然に現れる。代数拡大 {{math|''E'' ⊃ ''F''}} が純非分離拡大であることと、すべての {{math|''&alpha;'' &isin; ''E'' {{setminus}} ''F''}} に対して {{mvar|&alpha;}} の {{mvar|F}} 上の最小多項式が[[分離多項式]]'''でない'''（つまり相異なる根をもた'''ない'''）ことが同値である<ref name="Isaacs298">Isaacs, p. 298.</ref>。体 {{mvar|F}} が非自明な純非分離拡大をもつためには、素数標数の無限体（すなわち例えば[[完全体|不完全]]）であることが必要である、なぜならば[[完全体]]の任意の代数拡大は分離的だからだ<ref name="Isaacs18.11p281"/>。

== インフォーマルな議論 ==
ある体 ''F'' に係数をもつ任意の多項式 ''f'' は、deg(''f'') 個の根をある[[拡大体]] {{math|''E'' ⊃ ''F''}} においてもつときに''相異なる根'' (distinct roots) をもつと言う<ref group="注">「相異なる根をもつ」(have distinct roots) は「（重複を考えずに）根を2つ以上もつ」という意味では''ない''。例えば（実係数の）多項式 ''X'' &minus; 2 は相異なる根を''もち''、(''X''&minus;2)<sup>2</sup> (''X''&minus;3)<sup>2</sup> は相異なる根を''もたない''。</ref>。例えば、実係数多項式 ''g''(''X'') = ''X''<sup>2</sup> + 1 はちょうど deg(''g'') = 2 つの根、すなわち[[虚数単位]] ''i'' とその加法逆元 &minus;''i'', を複素平面にもつ。したがってたしかに異なる根を''もつ''。一方、実係数多項式 ''h''(''X'') = (''X'' &minus; 2)<sup>2</sup> は異なる根をもた''ない''<ref group="注">「相異なる根をもたない」(do not have distinct roots) は「相異なる根をもつ」(have distinct roots) の否定である。</ref>。複素平面において 2 だけがこの多項式の根でありしたがって1つの根しか持たず deg(''h'') = 2 つではない。

多項式が相異なる根をもつかどうかテストするために、体の拡大を明示的に考えたり根を計算したりする必要はない。多項式が相異なる根をもつことと多項式とその[[微分]]の{{仮リンク|多項式の最大公約数|label=最大公約数|en|polynomial greatest common divisor}}が定数であることは同値である。例えば、上の段落の多項式 ''g''(''X'') = ''X''<sup>2</sup> + 1 の微分は 2''X'' であり、[[標数]]が 2 でない体上では ''g''(''X'') − ((1/2) ''X'') 2''X'' = 1 であるので、[[ベズーの等式]]により、最大公約数は定数である。一方、2 = 0 であるような体上では、最大公約数は ''g'' であり、''g''(''X'') = (''X'' + 1)<sup>2</sup> は 1 = −1 を二重根としてもつ。一方、多項式 ''h'' は係数体がなんであれ相異なる根をもた''ない''、実際 ''h''(''X'') = (''X'' &minus; 2)<sup>2</sup> の微分は 2(''X'' − 2) であり ''h'' を割り切るので、{{math|(''X'' − ''&alpha;''){{sup|2}}}} の形の因子を {{math|1=''&alpha;'' = 2}} に対して''確かに''もつ。

有理あるいは実係数の多項式は相異なる根をもたないかもしれないが、この段階で有理あるいは実係数の''[[既約多項式]]''であって相異なる根をもたないものが存在するか否かを問うことは自然である。多項式 ''h''(''X'') = (''X'' &minus; 2)<sup>2</sup> は相異なる根をもたないが、非自明な因子 (''X'' &minus; 2) をもつので既約ではない。実は、''有理あるいは実係数の既約多項式であって相異なる根をもたないものは存在しない''ということは正しい。体論の言葉でいえば、{{mathbf|Q}} あるいは {{mathbf|R}} のすべての[[代数拡大]]は分離的でありそれゆえこれらの体は両方とも[[完全体|完全]]である。

== 分離・非分離多項式 ==
''F''[''X''] の多項式 ''f'' が''分離多項式'' (separable polynomial) であるとは、''F''[''X''] における ''f'' のすべての既約因子が相異なる根をもつということである<ref>Isaacs, p. 280.</ref>。多項式の分離性は係数をどの体で考えているかに依存する。例えば、''g'' が ''F''[''X''] の非分離多項式で、''g'' の ''F'' 上の[[分解体]] ''E'' を考えると、''E''[''X''] における ''g'' の任意の既約因子は線型でありしたがって相異なる根をもつので、''g'' は ''E''[''X''] において分離的である必要がある<ref name="Isaacs281"/>。これにもかかわらず、''F''[''X''] の分離多項式 ''h'' は ''F'' の ''すべての'' 拡大体上で分離的でなければならない<ref>Isaacs, Lemma 18.10, p. 281.</ref>。

''F''[''X''] の元 ''f'' を既約多項式とし ''f''&prime; をその[[形式微分]]とする。このとき以下の条件は ''f'' が分離的である、すなわち相異なる根をもつための同値な条件である。
* {{math|''E'' ⊃ ''F''}} および {{math|''α'' ∈ ''E''}} であれば、{{math|(''X'' − ''α''){{sup|2}}}} は ''E''[''X''] において ''f'' を割らない<ref name=IsaacsLem18.7>Isaacs, Lemma 18.7, p. 280.</ref>。
* {{math|''K'' ⊃ ''F''}} が存在して ''f'' は ''K'' において deg(''f'') 個の根をもつ<ref name=IsaacsLem18.7/>。
* ''f'' と ''f''&prime; は ''F'' のどの拡大体においても共通根をもたない<ref>Isaacs, Theorem 19.4, p. 295.</ref>。
* ''f''&prime; は零多項式でない<ref>Isaacs, Corollary 19.5, p. 296.</ref>。

上記最後の条件から、既約多項式が相異なる根をもたなければ、その微分は 0 でなければならない。次数が正の多項式の形式微分が 0 になるのは体が素数標数のときに限るから、既約多項式が相異なる根をもたないためにはその係数は素数標数の体に入っていなければならない。より一般に、既約（非零）多項式 ''f'' &isin; ''F''[''X''] が相異なる根をもたなければ、 ''F'' の標数が（零でない）素数 ''p'' でなければならないだけでなく、ある''既約''多項式 ''g'' &isin; ''F''[''X''] に対して ''f''(''X'')=''g''(''X''<sup>''p''</sup>) である<ref>Isaacs, Corollary 19.6, p. 296.</ref>。この性質を繰り返し用いることによって、実はある非負整数 ''n'' とある''分離既約''多項式 ''g'' &isin; ''F''[''X''] に対して <math>f(X)=g(X^{p^n})</math> であるということが従う（ただし ''F'' は素数標数 ''p'' をもっているとする）<ref>Isaacs, Corollary 19.9, p. 298.</ref>。

上の段落に書かれた性質から、''f'' が素数標数 ''p'' の体 ''F'' に係数をもつ既約（非零）多項式で、相異なる根をもたなければ、''f''(''X'')=''g''(''X''<sup>''p''</sup>) と書くことができる。さらに、<math>g(X)=\sum a_iX^i</math> で ''F'' の[[フロベニウス自己準同型]]が[[自己同型]]であれば、''g'' は <math>g(X)=\sum b_i^{p}X^i</math> と書くことができ、とくに、<math>f(X)=g(X^p)=\sum b_i^{p}X^{pi}=(\sum b_iX^i)^p</math> である。これは ''f'' の既約性に矛盾する。したがって、''F''[''X''] が非分離既約（非零）多項式をもつならば、''F'' のフロベニウス自己準同型は自己同型ではありえない（ただし ''F'' は素数標数 ''p'' をもつとする）<ref>Isaacs, Theorem 19.7, p. 297</ref>。

''K'' が素数標数 ''p'' の有限体で ''X'' が不定元であれば、''K'' 上の有理関数体 ''K''(''X'') は[[不完全体]]である。さらに、多項式 ''f''(''Y'')=''Y''<sup>''p''</sup>&minus;''X'' は非分離である<ref name="Isaacs281"/>。（このことを確かめるには、''f'' が根 {{mvar|&alpha;}} をもつような拡大体 {{math|''E'' ⊃ ''K''(''X'')}} が存在することに注意しよう。すると ''E'' において <math>\alpha^{p}=X</math> である。したがって、''E'' 上で考えることにより、<math>f(Y)=Y^p-X=Y^p-\alpha^{p}=(Y-\alpha)^p</math>（最後の等号は {{仮リンク|freshman's dream|en|freshman's dream}} から従う）であり、''f'' は相異なる根をもたない。）より一般に、''F'' が正標数の任意の体で[[フロベニウス自己準同型]]が自己同型でなければ、''F'' は非分離代数拡大を有する<ref name="Isaacs299">Isaacs, p. 299.</ref>。

体 ''F'' が[[完全体|完全]]であることとその代数拡大のすべてが分離的であることは同値である（実は ''F'' のすべての代数拡大が分離的であることと ''F'' のすべての有限次元拡大が分離的であることは同値である）。上の段落で概説された議論から、''F'' が完全であることと ''F'' の標数が 0 であるかまたは ''F'' の標数は素数 ''p'' で[[フロベニウス自己準同型]]が自己同型であることが同値であることが従う。

== 性質 ==
* {{math|''E'' ⊃ ''F''}} が代数的な体の拡大であり、{{math|''&alpha;'', ''&beta;'' &isin; ''E''}} が {{mvar|F}} 上分離的であれば、{{math|''&alpha;'' + ''&beta;''}} と {{mvar|&alpha;&beta;}} も {{mvar|F}} 上分離的である。とくに、''F'' 上分離的な ''E'' のすべての元の集合は体をなす<ref>Isaacs, Lemma 19.15, p. 300.</ref>。
* {{math|''E'' ⊃ ''L'' ⊃ ''F''}} が {{math|''E'' ⊃ ''L''}} と {{math|''L'' ⊃ ''F''}} が分離拡大であるようなものであれば、{{math|''E'' ⊃ ''F''}} は分離的である<ref>Isaacs, Corollary 19.17, p. 301.</ref>。逆に、{{math|''E'' ⊃ ''F''}} が分離代数拡大で ''L'' が任意の中間体であれば、{{math|''E'' ⊃ ''L''}} と {{math|''L'' ⊃ ''F''}} は分離拡大である<ref>Isaacs, Corollary 18.12, p. 281.</ref>。
* {{math|''E'' ⊃ ''F''}} が有限次分離拡大であれば、原始元をもつ。すなわち、{{math|''&alpha;'' &isin; ''E''}} であって {{math|1=''E'' = ''F''[''α'']}} となるものが存在する。この事実は''[[原始元定理]]''あるいは''原始元についての Artin の定理'' としても知られている。

== 代数拡大における分離拡大 == 
分離拡大は任意の代数体拡大において極めて自然に生じる。より具体的には、{{math|''E'' ⊃ ''F''}} が代数拡大で <math>S=\{\alpha\in E|\alpha \mbox{ is separable over } F\}</math> であれば、''S'' は ''F'' 上''分離的''で ''E'' が''純非分離''な唯一の中間体である<ref>Isaacs, Theorem 19.14, p. 300.</ref>。{{math|''E'' ⊃ ''F''}} が有限次拡大であれば、次数 [''S'' : ''F''] は拡大 {{math|''E'' ⊃ ''F''}} の次数の'''分離部分''' (separable part)（あるいは ''E''/''F'' の'''分離次数''' (separable degree)）と呼ばれ、しばしば [''E'' : ''F'']<sub>sep</sub> あるいは [''E'' : ''F'']<sub>s</sub> と表記される<ref name="Isaacs302">Isaacs, p. 302</ref>。''E''/''F'' の'''非分離次数''' (inseparable degree) は次数の分離次数による商である。''F'' の標数が ''p''&nbsp;>&nbsp;0 であるときは、''p'' のベキである<ref>{{harvnb|Lang|2002|loc=Corollary V.6.2}}</ref>。拡大 {{math|''E'' ⊃ ''F''}} が分離的であることと {{math|1=''S'' = ''E''}} であることは同値であるので、分離拡大に対しては [''E'' : ''F'']=[''E'' : ''F'']<sub>sep</sub> であり、逆も成り立つ。{{math|''E'' ⊃ ''F''}} が分離的でなければ（すなわち非分離であれば）[''E'' : ''F'']<sub>sep</sub> は [''E'' : ''F''] の非自明な約数である必要があり商は ''F'' の標数のベキである必要がある<ref name="Isaacs302"/>。

一方で、任意の代数拡大 {{math|''E'' ⊃ ''F''}} は ''F'' 上''純非分離''で ''E'' が''分離''であるような中間拡大 ''K'' をもたないかもしれない（しかしながら、そのような中間拡大は {{math|''E'' ⊃ ''F''}} が有限次正規拡大のとき確かに存在する（このとき ''K'' は ''F'' 上の ''E'' のガロワ群の固定体にとることができる））。そのような中間拡大が存在するならば、そして [''E'' : ''F''] が有限であれば、そして ''S'' が前の段落でのように定義されていれば、[''E'' : ''F'']<sub>sep</sub>=[''S'' : ''F'']=[''E'' : ''K'']<ref>Isaacs, Theorem 19.19, p. 302</ref>。この結果の1つの有名な証明は[[原始元定理]]に依存するが、原始元定理とは独立なこの結果の証明は確かに存在する（どちらの証明も次の事実を用いる。{{math|''K'' ⊃ ''F''}} が純非分離拡大で ''f'' &isin; ''F''[''X''] が分離既約多項式であれば、''f'' は ''K''[''X''] においても既約である<ref>Isaacs, Lemma 19.20, p. 302.</ref>。）。上記の等式（[''E'' : ''F'']<sub>sep</sub>=[''S'' : ''F'']=[''E'' : ''K'']）は次のことを証明するのに使える。{{math|''E'' ⊃ ''U'' ⊃ ''F''}} が [''E'' : ''F''] が有限であるようなものであれば、[''E'' : ''F'']<sub>sep</sub>=[''E'' : ''U'']<sub>sep</sub>[''U'' : ''F'']<sub>sep</sub><ref>Isaacs, Corollary 19.21, p. 303.</ref>。

''F'' が任意の体であれば、''F'' の'''分離閉包''' (separable closure) ''F''<sup>sep</sup> は ''F'' 上分離的な ''F'' の[[代数閉包]]の元全部からなる体である。これは ''F'' の極大[[ガロワ拡大]]である。定義によって、''F'' が完全であることとその分離閉包と代数閉包が一致することは同値である（とくに、分離閉包の概念は不完全体に対してのみ興味がある）。

== 分離非代数拡大体の定義 ==
分離拡大の理論の多くの重要な応用は代数体拡大の文脈から生じるが、数学において（代数的とは限らない）分離体拡大を研究することが有益な重要な例がある。

{{math|''F''/''k''}} を体の拡大とし ''p'' を {{mvar|k}} の [[標数|characteristic exponent]] とする<ref group="注">''k'' の characteristic exponent は、''k'' の標数が 0 なら 1 で、そうでなければ ''k'' の標数である。</ref>。''k'' の任意の体拡大 ''L'' に対し、{{math|1=''F{{sub|L}}'' = ''L'' &otimes;{{sub|''k''}} ''F''}} と書く（cf. [[体のテンソル積]]）。このとき ''F'' は以下の同値な条件が成り立つときに''{{mvar|k}} 上分離的'' (separable over {{mvar|k}}) という。
*{{mvar|F{{sup|p}}}} と {{mvar|k}} は {{mvar|k{{sup|p}}}} 上[[線型無関連]]である。
*{{math|''F''{{sub|''k''{{sup|1/''p''}}}}}} は[[被約環|被約]]である。
*{{mvar|F{{sub|L}}}} は ''k'' のすべての体拡大 ''L'' に対して被約である。
（言い換えれば、''F'' は[[分離多元環|分離 ''k''-代数]]であれば ''k'' 上分離的である。）

''F''/''k'' の'''分離超越基底''' (separating transcendence basis) は ''F'' の[[代数的独立]]な部分集合 ''T'' であって ''F''/''k''(''T'') が有限分離拡大であるようなものである。拡大 ''E''/''k'' が分離的であることと ''E''/''k'' のすべての有限生成部分拡大 ''F''/''k'' が分離超越基底をもつことは同値である<ref name=FJ38>Fried & Jarden (2008) p. 38.</ref>。

''k'' の体拡大 ''L'' で {{mvar|F{{sub|L}}}} が整域になるようなものが存在したとしよう。すると {{mvar|F}} が ''k'' 上分離的であることと {{mvar|F{{sub|L}}}} の分数体が ''L'' 上分離的であることは同値である。

''F'' の代数的な元はその最小多項式が分離的なときに ''{{mvar|k}} 上分離的'' (separable over {{mvar|k}}) という。{{math|''F''/''k''}} が代数拡大であれば以下は同値である。
* ''F'' は ''k'' 上分離的である。
* ''F'' は ''k'' 上分離的な元からなる。
* ''F''/''k'' のすべての部分拡大は分離的である。
* ''F''/''k'' のすべての有限部分拡大は分離的である。

{{math|''F''/''k''}} が有限拡大であれば、以下は同値。
*(i) ''F'' は ''k'' 上分離的。
*(ii) <math>F = k(a_1, ..., a_r)</math> ただし <math>a_1, ..., a_r</math> は ''k'' 上分離的。
*(iii) (ii) において {{math|1=''r'' = 1}} ととれる。
*(iv) ''K'' が ''k'' の代数閉包であれば、''k'' を固定する ''F'' の ''K'' への埋め込みはちょうど {{math|[''F'' : ''k'']}} 個存在する。
*(v) ''K'' が ''k'' の任意の正規拡大で ''F'' の ''K'' への埋め込みが少なくとも1つ存在すれば、''k'' を固定する ''F'' の ''K'' への埋め込みはちょうど {{math|[''F'' : ''k'']}} 個存在する。
上記において (iii) は''[[原始元定理]]''として知られている。

代数的閉包 {{math|{{overline|''k''}}}} を固定し、''k'' 上分離的な {{math|{{overline|''k''}}}} のすべての元からなる集合を {{mvar|k{{sub|s}}}} で表記する。すると {{mvar|k{{sub|s}}}} は ''k'' 上分離代数的であり {{math|{{overline|''k''}}}} の任意の分離代数拡大は {{mvar|k{{sub|s}}}} に含まれる。それは ''k'' の（{{math|{{overline|''k''}}}}における）'''分離閉包''' (separable closure) と呼ばれる。このとき {{math|{{overline|''k''}}}} は {{mvar|k{{sub|s}}}} 上純非分離である。別の言い方をすれば、''k'' が完全であることと {{math|1={{overline|''k''}} = ''k{{sub|s}}''}} は同値である。

== 微分による判定法 ==
分離性は[[ケーラー微分]]を使い研究することができる。{{mvar|F}} を体 {{mvar|k}} の{{仮リンク|有限生成体拡大|en|finitely generated field extension}}とする。このとき
:<math>\dim_F \operatorname{Der}_k(F, F) \ge \operatorname{tr.deg}_k F</math>
ただし等号成立と ''F'' が ''k'' 上分離的であることは同値。

とくに、{{math|''F''/''k''}} が代数拡大であれば、{{math|1=Der{{sub|''k''}}(''F'', ''F'') = 0}} と {{math|''F''/''k''}} が分離的であることは同値である<ref name=FJ49>Fried & Jarden (2008) p. 49.</ref>。

<math>D_1, ..., D_m</math> を {{math|Der{{sub|''k''}}(''F'', ''F'')}} の基底とし <math>a_1, ..., a_m \in F</math> とする。このとき {{mvar|F}} が <math>k(a_1, ..., a_m)</math> 上分離代数的であることと行列 <math>D_i(a_j)</math> が可逆であることは同値である。とくに、<math>m = \operatorname{tr.deg}_k F</math> であるとき、上の <math>\{ a_1, ..., a_m \}</math> は''分離超越基底'' (separating transcendence basis) と呼ばれる。

== 関連項目 ==
*[[純非分離拡大]]
*[[完全体]]
*[[原始元定理]]
*[[正規拡大]]
*[[ガロワ拡大]]
*[[代数的閉包]]

== 脚注 ==
===注===
{{reflist|group="注"}}
===出典===
{{reflist|30em}}

== 参考文献 ==
* {{cite book|last1=Borel|first1=A.|title=Linear algebraic groups|edition=2nd}}
* {{cite book|last1=Cohn|first1=P. M.|year=2003|title=Basic algebra}}
* {{cite book | last1=Fried | first1=Michael D. | last2=Jarden | first2=Moshe | title=Field arithmetic | edition=3rd | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge | volume=11 | publisher=[[Springer-Verlag]] | year=2008 | isbn=978-3-540-77269-9 | zbl=1145.12001 }}

* {{cite book
 | author = [[Martin Isaacs|I. Martin Isaacs]]
 | year = 1993
 | title = Algebra, a graduate course
 | edition = 1st
 | publisher = Brooks/Cole Publishing Company
 | isbn = 0-534-19002-2
}}
* {{cite book | first=Irving | last=Kaplansky | authorlink=Irving Kaplansky | title=Fields and rings | edition=Second | series=Chicago lectures in mathematics | publisher=University of Chicago Press | year=1972 | isbn=0-226-42451-0 | zbl=1001.16500 | pages=55-59 }}
* M. Nagata (1985). Commutative field theory: new edition, Shokado. (Japanese) [http://www.shokabo.co.jp/mybooks/ISBN978-4-7853-1309-8.htm]
*{{cite book |last=Silverman |first=Joseph |title=The Arithmetic of Elliptic Curves |year=1993 |publisher=Springer |isbn=0-387-96203-4}}

== 外部リンク ==
*{{SpringerEOM|title=separable extension of a field k|urlname=Separable_extension}}

{{DEFAULTSORT:ふんりかくたい}}
[[Category:体論]]
[[Category:体の拡大]]
[[Category:数学に関する記事]]

[[de:Körpererweiterung#Separable Erweiterungen]]