|
(n) Galois theory =========================== ・ ガロア理論 ： [がろありろん] (n) Galois theory ・ 理 ： [り] 【名詞】 1. reason ・ 理論 ： [りろん] 【名詞】 1. theory ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
ガロア理論（ガロア-りろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。 1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。 ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、"ガロア拡大" と呼ばれる体の代数拡大について、 拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。 == 概要 == ガロア理論では、加減乗除ができるような数の範疇での代数方程式を考察対象とする。 例えば、有理数や複素数の範囲で多項式で表わされる方程式の解を考えたり、 整係数の多項式で素数を法とした解を考えたりする。 代数方程式が "代数的に解ける" かどうか、 つまり係数に対する四則演算と根号の有限個の組合せで解が表せるかどうかが問題になる。 四次までの代数方程式についてはこれが可能。 例えば二次の多項式 の二つの根は : と表すことができる。 一般に、与えられた多項式 （以下技術的な仮定として の分離性を仮定する）の根が(当該)多項式の係数の四則演算と冪根によって表せるかどうかは、係数の作る体 の適当な冪根拡大に根が含まれるかどうか、あるいは別の見方をすれば、与えられた多項式の根を全て添加して、その上では多項式 が一次式の積に分解するようにした体（多項式 の分解体; ） が、体 の冪根拡大になっているか、と定式化できる。 多項式 を形式的に根の一次式の積として表す（実際、これは を含む代数閉体上で可能になる）ことで 多項式 の係数は根の基本対称式であること（根と係数の関係）が分かる。 拡大体 の自己同型 が根の入れ替えを引き起こしているときには の下で多項式 の係数や、より一般に の元は変化しないことが分かる。 一方、 の元を不変にするような の自己同型は多項式 の根を入れ替えている。 このような変換すべての集まり は変換の合成という二項演算について群の構造を持っている。 これを の 上のガロア群、または多項式 のガロア群と呼ぶ。 仮に 多項式 の根が係数の加減乗除やべき根による式で表せていたとすると、 その式のうち一部分で表される数から生成するような体を考えることができる。 こうして得られる体は を含んで に含まれる体（ の部分拡大）となる。 このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするような の部分群が存在する。 の元 の 乗根は 個あるが、それらすべてで生成されるような の部分体は重要な役割を果たす。 より一般に、体の拡大において、ある体上で既約な多項式の分解体となるという性質を正規性といい、 中間体の正規性はガロア群の部分群が正規部分群に対応している。 例えば、 の正規部分拡大のうちで の特定の元のべき根によって生成されるもの の対称性を表す群 : は巡回群になる。 が のべき根拡大になっているかどうかは 群 が可解群になっているかどうか。 このようにして分解体の自己同型を調べることで方程式の可解性について考察することができる。 一方、最も一般的な設定の下では群 は 次の対称群になる。 特に、5 次以上の一般の多項式の対称性を表す 5 次の対称群は可解群ではない。 このことから 5 次以上の代数方程式は一般に可解でない（代数的な根の公式が存在しない）。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ガロア理論」の詳細全文を読む スポンサード リンク
|