純非分離拡大のソースを表示

代数学において、体の'''純非分離拡大''' (purely inseparable extension) は標数 ''p''&nbsp;>&nbsp;0 の体の拡大 ''k''&nbsp;&sube;&nbsp;''K'' であって ''K'' のすべての元が ''q'' を ''p'' のベキ、''a'' を ''k'' の元として ''x''<sup>''q''</sup>&nbsp;=&nbsp;''a'' の形の方程式の根であるようなものである。純非分離拡大はときどき '''radicial extension''' と呼ばれるが、名前の似たより一般的な概念である{{仮リンク|冪根拡大|en|radical extension}} (radical extension) と混同してはならない。

== 純非分離拡大 ==
代数拡大 <math>E\supseteq F</math> が''純非分離拡大'' (purely inseparable extension) であるとは、すべての <math>\alpha\in E\setminus F</math> に対して、<math>\alpha</math> の ''F'' 上の最小多項式が[[分離多項式]]''でない''ということである<ref name="Isaacs298">Isaacs, p. 298</ref>。''F'' が任意の体であれば、自明な拡大 <math>F\supseteq F</math> が純非分離である。体 ''F'' が''非自明な''純非分離拡大をもつためには、上のセクションで概説したように[[完全体|不完全]]でなければならない。

純非分離拡大の概念に対するいくつかの同値でより具体的な定義が知られている。<math>E\supseteq F</math> が代数拡大で標数が（0 でない）素数 ''p'' であれば、以下は同値である<ref>Isaacs, Theorem 19.10, p. 298</ref>：

1. ''E'' は ''F'' 上純非分離

2. 各元 <math>\alpha\in E</math> に対してある <math>n\geq 0</math> が存在して <math>\alpha^{p^n}\in F</math>.

3. ''E'' の各元はある整数 <math>n\geq 0</math> とある元 <math>a\in F</math> に対して <math>X^{p^n}-a</math> の形の ''F'' 上の最小多項式をもつ。

上の同値な特徴づけから次が従う。（素数標数の体 ''F'' に対して）<math>E=F[\alpha]</math> であってある整数 <math>n\geq 0</math> に対して <math>\alpha^{p^n}\in F</math> であれば、''E'' は ''F'' 上純非分離である<ref>Isaacs, Corollary 19.11, p. 298</ref>。（これを確認するには、ある <math>n\geq 0</math> に対して <math>x^{p^n}\in F</math> であるようなすべての ''x'' からなる集合は体をなすことに注意せよ。この体は <math>\alpha</math> と ''F'' を両方含むので、それは ''E'' でなければならず、上の条件 2 によって、<math>E\supseteq F</math> は純非分離でなければならない。）

''F'' が標数が素数 ''p'' の不完全体ならば、<math>a\in F</math> であって ''a'' は ''F'' において ''p'' 乗元でないものを選び、 ''f''(''X'')&nbsp;=&nbsp;''X''<sup>p</sup>&nbsp;&minus;&nbsp;''a'' とする。このとき ''f'' は ''F'' に根をもたないので、''E'' が ''f'' の ''F'' 上の分解体であれば、<math>f(\alpha)=0</math> なる <math>\alpha</math> を選ぶことができる。とくに、<math>\alpha^{p}=a</math> であり、直上の段落で述べられた性質から、次が従う。<math>F[\alpha]\supseteq F</math> は非自明純非分離拡大である（実は <math>E=F[\alpha]</math> なので <math>E\supseteq F</math> は自動的に純非分離拡大である）<ref name="Isaacs299">Isaacs, p. 299</ref>。

純非分離拡大は自然に確かに現れる。例えば、素数標数の体上の[[代数幾何学]]において現れる。''K'' が標数 ''p'' の体で ''V'' が次元が 0 よりも大きい ''K'' 上の[[代数多様体]]であれば、[[代数多様体の関数体|関数体]] ''K''(''V'') は ''p'' 乗の[[体の拡大|部分体]] ''K''(''V'')<sup>''p''</sup> 上純非分離拡大である（これは上の条件 2 から従う）。そのような拡大は標数 ''p'' の有限体上の[[楕円曲線]]上の ''p'' 倍の文脈において現れる。

=== 性質 ===

* 体 ''F'' の標数が（0 でない）素数 ''p'' であれば、そして <math>E\supseteq F</math> が純非分離拡大であれば、<math>F\subseteq K\subseteq E</math> なら ''K'' は ''F'' 上純非分離で ''E'' は ''K'' 上純非分離である。さらに、[''E'' : ''F''] が有限であれば、それは ''F'' の標数 ''p'' のベキである<ref>Isaacs, Corollary 19.12, p. 299</ref>。
* 逆に、<math>F\subseteq K\subseteq E</math> が <math>F\subseteq K</math> と <math>K\subseteq E</math> が純非分離拡大であるようなものであれば、''E'' は ''F'' 上純非分離である<ref>Isaacs, Corollary 19.13, p. 300</ref>。
* 代数拡大 <math>E\supseteq F</math> が'''非分離拡大'''であることと''ある'' <math>\alpha\in E\setminus F</math> が存在して ''F'' 上の <math>\alpha</math> の最小多項式が[[分離多項式]]''でない''ことは同値である。（すなわち、代数拡大が非分離であることと分離でないことは同値である。しかしながら、非分離拡大は純非分離拡大とおなじものではないことに注意しよう。）<math>E\supseteq F</math> が有限次非自明非分離拡大であれば、[''E'' : ''F''] は ''F'' の標数で割り切れる必要がある<ref>Isaacs, Corollary 19.16, p. 301</ref>。
* <math>E\supseteq F</math> が有限次正規拡大で <math>K=\mbox{Fix}(\mbox{Gal}(E/F))</math> であれば、''K'' は ''F'' 上純非分離であり ''E'' は ''K'' 上分離的である<ref>Isaacs, Theorem 19.18, p. 301</ref>。

== 純非分離拡大のガロワ対応 ==

{{harvs|txt|last=Jacobson|year1=1937|year2=1944}} は指数 1 の純非分離拡大に対するガロワ理論のバリエーションを導入した、ただしガロワ理論における体自己同型のガロワ群は微分の{{仮リンク|制限リー代数|en|restricted Lie algebra}}に取って代わられる。もっとも簡単なケースは指数が高々 1 の有限 index 純非分離拡大 ''K''&sube;''L'' に対するものである（つまり ''L'' のすべての元の ''p'' 乗は ''K'' に入る）。この場合 ''L'' の ''K''-微分のリー代数は ''L'' 上 ''n'' 次元のベクトル空間でもある制限リー代数である、ただし [''L'':''K'']&nbsp;=&nbsp;''p''<sup>''n''</sup>、そして ''L'' の ''K'' を含む中間体は ''L'' 上ベクトル空間であるこのリー代数の制限リー部分代数に対応する。微分のリー代数は ''L'' 上のベクトル空間であるが、それは一般には ''L'' 上のリー代数ではない、が ''K'' 上次元 ''n''[''L'':''K'']&nbsp;=&nbsp;''np''<sup>''n''</sup> のリー代数である。

純分離拡大は単拡大のテンソル積であるときに'''モジュラー拡大''' (modular extension) と呼ばれる、よってとくに指数 1 のすべての拡大はモジュラーであるが、指数 2 の非モジュラー拡大は存在する {{harv|Weisfeld|1965}}。{{harvtxt|Sweedler|1968}} と {{harvtxt|Gerstenhaber|Zaromp|1970}} はガロワ対応のモジュラー純非分離拡大への拡大を与えた、ただし微分は高次の微分で置き換えられる。

== 関連項目 ==
*[[:en:Jacobson–Bourbaki theorem]]

== 参考文献 ==
{{reflist}}

*{{Citation | last1=Gerstenhaber | first1=Murray | last2=Zaromp | first2=Avigdor | title=On the Galois theory of purely inseparable field extensions | doi=10.1090/S0002-9904-1970-12535-6 |mr=0266904 | year=1970 | journal=[[Bulletin of the American Mathematical Society]] | issn=0002-9904 | volume=76 | pages=1011–1014}}
* {{citation
 | first = I. Martin |last=Isaacs
 | year = 1993
 | title = Algebra, a graduate course
 | edition = 1st
 | publisher = Brooks/Cole Publishing Company
 | isbn = 0-534-19002-2
}}
*{{Citation | last1=Jacobson | first1=Nathan | author1-link=Nathan Jacobson | title=Abstract Derivation and Lie Algebras | url=http://www.jstor.org/stable/1989656 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | year=1937 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=42 | issue=2 | pages=206–224 | doi=10.2307/1989656}}
*{{Citation | last1=Jacobson | first1=Nathan | author1-link=Nathan Jacobson | title=Galois theory of purely inseparable fields of exponent one | url= http://www.jstor.org/stable/2371772 |mr=R0011079 | year=1944 | journal=[[American Journal of Mathematics]] | issn=0002-9327 | volume=66 | pages=645–648 | doi=10.2307/2371772}}
*{{Citation | last1=Sweedler | first1=Moss Eisenberg | title=Structure of inseparable extensions | url=http://www.jstor.org/stable/1970711 |mr=0223343[http://www.jstor.org/stable/1970818  correction] | year=1968 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=87 | pages=401–410 | doi=10.2307/1970711}}
*{{Citation | last1=Weisfeld | first1=Morris | title=Purely inseparable extensions and higher derivations | url=http://www.jstor.org/stable/1994126 |mr=0191895 | year=1965 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=116 | pages=435–449 | doi=10.2307/1994126}}

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