単拡大のソースを表示

[[数学]]、より正確には[[代数学]]において、[[可換体]]の理論の枠組みで、[[可換体|体]] {{mvar|K}} の[[体の拡大|拡大]] {{mvar|L}} は、{{mvar|L}} のある元 {{mvar|&alpha;}} が存在して {{mvar|L}} が [[体の拡大#定義|{{math|''K''(''&alpha;'')}}]] と等しいときに'''単拡大'''あるいは'''単純拡大''' (simple extension) という。

単拡大 {{math|''K''(''α'')}} が[[体の拡大|有限拡大]]であることと {{mvar|&alpha;}} が [[代数的な元|{{mvar|K}} 上代数的]]であることは同値である。{{mvar|K}} の（同型の[[違いを除いて]]）唯一の無限単拡大は[[有理関数]]体 {{math|''K''(''X'')}} である。

[[原始元定理]]はすべての有限[[分離拡大]]が単拡大であることを保証する。

== 準備的注意 ==
単拡大の概念は、主に次の二つの点から数学上の興味を集めている。
* 単拡大は分類が完了している体拡大である。拡大の生成元が ''K'' 上超越的なら[[有限拡大|無限次拡大]]で有理関数体に{{仮リンク|体の同型|label=同型|fr|Isomorphisme de corps}}であり、 生成元 &alpha; が代数的なら拡大は有限で、[[最小多項式 (体論)|&alpha; の ''K'' 上の最小多項式]]の[[根体]]に同型である。
* [[原始元の定理]]はすべての有限次[[分離拡大]]が単拡大であることを保証する。[[代数拡大]]はそのすべての元の最小多項式が重根をもたないときに分離的という。[[分離拡大|有限拡大の分離性のいろいろな同値条件]]に加えて、代数拡大が分離的であるための十分条件は基礎体が[[完全体]]（例えば[[標数]] 0 あるいは[[有限体]]）であることである。

== 定義 ==
''L'' を ''K'' の体拡大とする。

* 拡大 ''L'' が'''単''' (simple) '''拡大'''であるとは、''L'' のある元 &alpha; が存在して、[[体の拡大#定義|&alpha; で生成された ''L'' の部分 ''K'' 拡大 ''K''(&alpha;)]] が ''L'' に等しいことである。
* ''L'' が単拡大とし ''g'' を ''L'' の元で ''L'' が ''K''(''g'') に等しいとする。このとき ''g'' は ''L'' の ''K'' 上の'''生成元''' (generating element) と呼ばれる。

== 例 ==
* [[複素数]]体は[[実数]]体の{{仮リンク|二次拡大|label=二次|fr|extension quadratique}}単拡大である。それは[[虚数単位]] ''i'' で生成される。
* 2の[[3乗根]]と虚数単位 ''i'' で生成される体は[[有理数]]体 '''Q''' の単拡大である。
:この性質は [[:fr:Extension de Galois]] の記事において証明されるが、より直接的に証明することができる。拡大は '''Q''' が標数 0 なので分離的である。それはさらに、代数的な 2 つの元で生成されるので有限拡大である。すると[[原始元の定理]]によってそれは単拡大である。この定理の証明の1つに含まれているアルゴリズムをこの例で明確化することができる。適切に選ばれた &lambda; に対して <math>\sqrt[3]{2}+\lambda i</math> の形の原始元を探そう。&lambda;&nbsp;=&nbsp;1 でうまくいくことがわかる。実際、<math>r=\sqrt[3]{2}+i</math> とおき方程式 (''r''&nbsp;–&nbsp;''i'')<sup>3</sup>&nbsp;=&nbsp;2 を展開すると ''i''&nbsp;=&nbsp;(''r''<sup>3</sup>&nbsp;–&nbsp;3''r''&nbsp;–&nbsp;2)/(3''r''<sup>2</sup>&nbsp;-&nbsp;1) ∈ ℚ(''r'') がわかるので <math>\sqrt[3]{2}=r-i\in\mathbb{Q}(r)</math> であり <math>\mathbb{Q}(\sqrt[3]{2},i)=\mathbb{Q}(r)</math> が証明された。

* 実数体は有理数体の単拡大でない。<br />実際、拡大は代数的でなく（例えば実数 [[Pi|{{math|π}}]] は[[超越数|超越的]]である）、[[体の拡大#代数性・超越性|純超越的]]でもない（例えば[[2の平方根]]は代数的[[無理数]]である）が、（cf. 下の節「性質」）単拡大にはこれらの可能性しかない。<!--単拡大は代数的か純超越的という意味-->

* 標数 ''p'' において、単拡大でない有限拡大が存在する。例えば、''L'' が標数 ''p'' の体 ''k'' に係数をもつ二変数の有理関数体 ''k''(''X'', ''Y'') で、''K'' が ''L'' の部分体 ''k''(''X''<sup>''p''</sup>, ''Y''<sup>''p''</sup>) であれば、''L/K'' は単純でない有限拡大である。実際、拡大の次数は ''p''<sup>2</sup> だが、''L'' のすべての元は ''K'' 上高々 ''p'' 次である。

== 性質と定理 ==
''L'' = ''K'' (&alpha;) を単拡大とする。
* この拡大が有限であれば、
** &alpha; は ''K'' 上[[代数的な元|代数的]]である（&alpha; のベキたちの間に線型従属な関係があり &alpha; で消える多項式が得られる）；
** ''L'' は &alpha; の最小多項式 ''P'' の[[根体]]に同型である<br />（この体は多項式[[単位的環|環]] ''K''[''X''] の ''P'' で生成された[[イデアル]]による[[商環|商]]として得られる）。
** とくに、&alpha; が ''K'' 上代数的な元であれば、体 ''K''(''α'') は "''K''[''α'']"、すなわち <math>a_n\alpha^n+\dotsb+a_1\alpha+a_0</math>、ただし ''α<sub>i</sub>'' ∈  ''K''、の形で表されるもの全体の集合、に他ならない。
* 無限次拡大であれば、
** &alpha; は ''K'' 上[[超越拡大|超越的]]である；
** 拡大体は ''K'' 上の有理関数体 ''K''(''X'') に同型である<br />（実際、''X'' を &alpha; に写す ''K''[''X''] から ''L'' への ''K''-[[体上の多元環|代数]]準同型は[[単射]]であるので[[分数体]] ''K''(''X'') に拡張し、このように得られた ''K''(''X'') から ''L'' への[[環準同型|体準同型]]は[[全射]]である）。
* ''K'' と ''L'' の間のすべての中間拡大は単拡大である。これは &alpha; が代数的なとき<ref name=Lang>例えば Lang, Algebra を見よ</ref>だけでなく、&alpha; が超越的なときも正しい。後者の主張は[[リューローの定理]]である。
* [[素数]]次のすべての[[有限拡大]]は単拡大である。
* [[原始元の定理]]より、すべての有限[[分離拡大]]は単拡大である。
* 有限拡大 ''L''/''K'' が単拡大であることと ''K'' と ''L'' の間に有限個しか中間体がないことは同値である<ref name=Lang/><sup>, </sup><ref>{{en}} ''[http://www.mathreference.com/fld-sep,pet.html The Primitive Element Theorem]''  sur le site mathreference.com</ref><sup>, </sup><ref>{{Planetmath reference|id=5725|title=proof of primitive element theorem}}</ref>。

==単拡大の表現多項式==
体論の基本的な定理の1つは、''P''(''X'') が ''K'' 上の既約多項式であれば、商環 ''A=K''[''X'']/(''P'')、ただし (''P'') は ''K''[''X''] において ''P'' で生成されるイデアル、は体であるというものである。さらに、''P'' が ''K'' の拡大 ''L'' で根 &alpha; をもてば、体 ''K''(&alpha;) は ''A'' に同型である。この実際的意味は次のようである。''n = ''deg(''P'') としてせいぜい次数 ''n'' - 1 の多項式で単拡大 ''K'' (&alpha;) の元を表すことが常にできる。''K'' (&alpha;) の二元の和は対応する多項式の和に、積は多項式の積 mod ''P'' （これは[[除法の原理|ユークリッド除法]]によって多項式の積を ''P'' で割りその余りをとることを意味する）に翻訳される。

例えば、''P''(''X'') = ''X''<sup>2</sup> + 1 であれば、虚数 ''i'' が '''C''' において ''P'' の根であることを知っている。今見たことから、'''C''' は ''a + b X'' の形の多項式の集合に同型である。この写像による ''i'' の像は ''X'' であり、''a + ib'' の像は ''a + bX'' である。複素数の計算のルールはこの表現と同じであることを確かめよう。

まず ''a+ib + a'+ib' = ''(''a+a' '') ''+ i'' (''b+b' '') であり同時に ''a+bX + a'+b'X ='' (''a+a' '') ''+'' (''b+b' '')''X'' である。さらに、 (''a+ib'')(''a'+ib' '') ''='' (''aa'-bb' '') ''+ i''(''ab'+ba' '') であり同時に  (''a+bX'')(''a'+b'X'') = (''aa'+bb'X<sup>2</sup>'') ''+'' (''ab'+ba' '')''X'' である。しかし ''P''(''X'') = ''X<sup>2</sup>+1'' であるので、''X<sup>2</sup>'' を ''P'' で割った余りは ''-1'' である。(''a+bX'')(''a'+b'X'') を ''P'' で割った余りは (''aa'-bb' '')+(''ab'+ba' '')''X'' であることが従い、これはちょうど上記複素数の積と対応している。

== 単拡大の行列表現 ==
すべての単拡大 ''K''(''α'')''/K'' は ''K'' に成分をもつ行列環の部分体によって表現することができる<ref>''[http://www.math.jussieu.fr/~nekovar/co/ln/gal/g.pdf Introduction à la théorie de Galois et à la géométrie algébrique, p. 24 et p. 16]''</ref>。''R'' が &alpha; の ''K'' 上の最小多項式で ''M'' が ''R'' の[[同伴行列]]であれば、''M'' で生成される部分行列環 ''K''(''M'') は体であり、写像 {{nobr|''K''(''α'')}} <math>\to</math> {{nobr|''K''(''M'')}}; {{nobr|''f''(''α'')}} <math>\mapsto</math> {{nobr|''f''(''M'')}} はすべての多項式 ''f'' に対して体同型である。

{{math proof|continue=
証明のために、まず ''L = K''(''α'') を基底が ''1 = α<sup>0</sup>, α, ... , α<sup>n</sup>'' の ''K'' 上のベクトル空間と見ることができることに注意する。''L'' のすべての元 ''t'' に対して、''L'' のすべての元 ''x'' に対し ''x'' を ''tx'' に対応させる写像 ''φ<sub>t</sub>'' は ''L'' から ''L'' への線型同型で、逆写像は ''x'' <math>\mapsto</math> x/t である。''M<sub>t</sub>'' を基底 ''1, α, ... , α<sup>n</sup>'' における ''φ<sub>t</sub>'' の行列とする。すると写像 ''x'' <math>\mapsto </math> ''t<sup>k</sup>''x の行列は ''M<sub>t</sub><sup>k</sup>'' であり、線型性により、''f'' が ''K'' に係数をもつ多項式であれば、''x'' <math>\mapsto</math> {{nobr|''f''(''t'')''x''}} の行列は ''f''(''M<sub>t</sub>'') である。&alpha; の ''K'' 上の最小多項式を {{nobr|''R''(''X'')}} = {{nobr|''a<sub>0</sub> + a<sub>1</sub>X + . . . + a<sub>n-1</sub> X<sup>n-1</sup> + X<sup>n</sup>''}} と書く。''t = α'' であれば、すべての ''i < n-1'' に対して {{nobr|''φ<sub>t</sub>''(''α<sup>i</sup>'')}} = ''α<sup>i+1</sup>'' であり、
{{nobr|''φ<sub>t</sub>''(''α<sup>n-1</sup>'')}} = {{nobr|''-a<sub>0</sub> - a<sub>1</sub>α - . . . - a<sub>n-1</sub> α<sup>n-1</sup>''}}, したがって ''M<sub>t</sub>'' は基底 (''α<sup>i</sup>'') に関して ''M'' の同伴行列である。|drop=yes}} 

行列 ''M'' はこの性質を満たす唯一のものではないことに注意しよう。{{nobr|''P<sup>-1</sup>MP''}} の形のすべての行列もまた明らかにそれを満たす、なぜならば {{nobr|''f''(''P<sup>-1</sup>MP'')}} = {{nobr|''P<sup>-1</sup>f''(''M'') ''P''}} だからだ。

''K'' が環 ''A'' の分数体であり &alpha; が ''A'' 上整であれば、 ''R''、したがって ''M'' は、''A'' に成分をもつことにも注意しよう。環 {{nobr|''A''[''α'']}} は行列環 {{nobr|''A''[''M'']}} によって表現されることが従う。

行列環による単拡大の行列表現は実際的計算の計算機的代数において有用である、なぜならば演算が行列の演算に翻訳されるからだ。とくに、元のトレースは対応する行列のトレースであり、''K'' 上のノルムは行列の行列式に等しい。さらに、構成のこの手順を繰り返して、多項式表現でできるように多項式の分解体の構成的表現を得ることができる。このためには多項式の既約因子の積への分解のアルゴリズム、例えば基礎体が有理数体の代数拡大であればクロネッカーのアルゴリズム、を準備すれば十分である。

=== 例 ===
* ''R''(''X'') = ''X<sup>2</sup> + 1'' であれば、''R'' の同伴行列は ''M'' <math> = \left( \begin{array}{ccc} 0 & -1\\ 1 &0 \end{array} \right)</math> であり、したがって虚数 ''i'' は ''M'' に対応し、数 ''1'' は単位行列 ''I'' に対応する。ゆえに、複素数の集合 <math>\mathbb C</math> は {{nobr|''a I + b M''}}、すなわち <math>\left( \begin{array}{cc} a & -b\\ b & a\end{array} \right)</math> の形の行列のなす環で表現される。
* 同様に考えて、多項式 {{nobr|''X<sup>2</sup> - X - 1''}} の根で生成される有理数体の二次拡大は {{nobr|''a I + b M''}}, ただし ''M'' <math>=\left( \begin{array}{cc} 0 & 1\\ 1 & 1\end{array} \right)</math>、の形の行列の環で表現される。これは <math>\left( \begin{array}{cc} a & b\\ b & a+b\end{array} \right) </math> の形の行列のなす環である。

== ''K<sup>n</sup>'' における明示的な表現 ==

複素数体が対 (''a'', ''b'') によって、積は {{nobr|(''a,b'') (''a',b' '')}} = {{nobr|(''aa'-bb', ab'+ba''')}} によって''明示的に''与えて、通常表現されるのと同じ方法で、''K'' 上次数 ''n'' の元 &alpha; によって生成された体 ''K'' 上のすべての単拡大は集合 ''K<sup>n</sup>'' によって、和は成分ごとに、積は変数の明示的なある式によって定義されたものが与えられて、表現される。

より正確には、
{{énoncé|''K'' を体とし ''L {{=}} K''(''α'') を ''K'' の ''n'' 次単代数拡大とする。''K''(&alpha;) から ''K''<sup>''n''</sup> への {{nobr|''a<sub>0</sub> {{nobr|+ . . . + a<sub>n-1</sub> α<sup>n-1</sup>}}''}} <math>\mapsto</math> {{nobr|(''a<sub>0</sub>, . . ., a<sub>n-1</sub>'')}} で定義される写像は全単射であり、''K''(&alpha;) における和 ''x'' + ''y'' と積 ''x <math>\cdot</math> y'' の &phi; による行き先から ''K<sup>n</sup>'' に体の構造が誘導される。体 ''K''(''α'') と ''K<sup>n</sup>'' は &phi; によって同型で、''K<sup>n</sup>'' に誘導された和は通常のベクトルの和で、''K<sup>n</sup>'' に誘導された積は ''K<sup>n</sup> x K<sup>n</sup>'' から ''K<sup>n</sup>'' への双線型写像 ''f''(''x,y'') である。
そのような写像 ''f'' は ''K''[''X'']<sup>''n''</sup> の元 (''P<sub>1</sub>, ... , P<sub>n</sub>'') と同一視される、ただし ''P<sub>i</sub>'' は 2''n'' 変数 '''x''' {{=}} {{nobr|(''X<sub>1</sub>, ... , X<sub>n</sub>'')}} と '''y''' {{=}} {{nobr|(''Y<sub>1</sub>, ... , Y<sub>n</sub>'')}} の 2 次斉次多項式である。''K<sup>n</sup>'' 上誘導された積は文字通り明示的な形で書かれる<span style="text-aligen: center">{{nobr|'''x''' <math>\cdot</math> '''y'''}} {{=}} (''P<sub>1</sub>''('''x''', '''y'''), . . . , ''P''<sub>n</sub>('''x''', '''y''')).</span>
}}
この双線型写像と伴う斉次多項式を得るために、1つの単純な方法は前の節で議論された行列表現を使うことにある。良い例は長い話よりも価値がある。黄金比で生成された単拡大の例を見よう。
<center>
<math>\left( \begin{array}{cc} a & b\\ b & a+b\end{array} \right) </math> &nbsp; &nbsp; &nbsp; と &nbsp;&nbsp;&nbsp; <math>\left( \begin{array}{cc} a' & b'\\ b' & a'+b'\end{array} \right) </math></center>の形の2つの行列の積は<span style="text-aligen: center"><math>\left( \begin{array}{cc} aa'+bb' & ab'+b(a'+b')\\ a'b + b'(a+b) & bb'+(a+b)(a'+b')\end{array} \right) </math> &nbsp;&nbsp;&nbsp; である。</span>

求める双線型写像は行列の積の最初の列を「読む」：
<span style="text-aligen: center"> ''f''((''a,b''),(''a',b' '')) = (''aa' + bb', a'b + b' ''(''a+b'')).</span>
したがって、明示的な積は
<span style="text-aligen: center">(''X<sub>1</sub> , X<sub>2</sub>'') (''Y<sub>1</sub> , Y<sub>2</sub>'') = (''X<sub>1</sub>Y<sub>1</sub> + X<sub>2</sub>Y<sub>2</sub> , X<sub>2</sub>Y<sub>1</sub> + X<sub>1</sub>Y<sub>2</sub> + X<sub>2</sub>Y<sub>2</sub>'')</span>

容易にわかるようにこの手法は非常に一般的である。

次のことを強調することは重要である。ここで問題となっている問題は代数的ではなく、''K<sup>n</sup>'' におけるこの表現は明らかな方法で以前議論された多項式表現と同一視されることなしに、計算機的、アルゴリズム的である。しかしながら、積の''効率的な''計算は、&alpha; の最小多項式を法としたリダクションを利用するなら、明示的な積と行列の表現の単純な実行をさらに要求する。代償はもちろん双線型写像 ''f'' の決定であるが、たった一度だけ実行されればいいので、一般にそうであるように大量の演算が必要な計算にとってこの選択は有利である。

== 注釈==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
=== 外部リンク ===
* [http://agreg-maths.univ-rennes1.fr/documentation/docs/Galois.pdf Une courte présentation des extensions algébriques] par Bernard Le Stum, [[:fr:université de Rennes 1|université de Rennes 1]], 2001
* [http://www.institut.math.jussieu.fr/dea/aa/dea01-02/Galois.pdf Un cours de DEA sur la théorie de Galois] par Alain Kraus, [[:fr:université de Paris VI|université de Paris VI]], 1998
* [http://www.les-mathematiques.net/b/b/g/node3.php Les correspondance<!--sic--> de Galois] sur le site les-mathematiques.net

=== 本 ===
* Régine et [[:fr:Adrien Douady|Adrien Douady]], ''Algèbre et théories galoisiennes'' <small><nowiki>[</nowiki>[[:fr:Référence:Théories galoisiennes (Douady)|détail des éditions]]]</small>
* [[:fr:Serge Lang|Serge Lang]], ''Algèbre'' <small><nowiki>[</nowiki>[[:fr:Référence:Algèbre (Lang)|détail des éditions]]]</small>
* [[:fr:Pierre Samuel|Pierre Samuel]], ''Théorie algébrique des nombres'' <small><nowiki>[</nowiki>[[:fr:Référence:Théorie algébrique des nombres (Samuel)|détail de l’édition]]]</small>
<!--
{{Palette|Théorie de Galois}}-->
<!--
{{Portail|algèbre}}-->

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