中学生にもわかるガロア理論
中学生にもわかるガロア理論の試み
方程式はなぜ解けるのか
０、方程式はなぜ解けるのか
ガロア理論をわかり易く表現するにはどうしたら良いのだろうか。
「わかる」ということを追求してきた私にとって、いつか試みたいテーマだった。
その試みは、よく知っている二次方程式から始めるというもの。
そして、証明なしで体験的ストーリーでイメージをつかんでいくという方法をとる。
計算は大変だけど、中学生にもできる計算だ。鉛筆を持って計算しながら読み進めて欲しい。
ガロア理論の持っている深い思想は、現代の様々な科学に及んでいる。
わからないことを調べるときに、すでに良く知っていることと対比しながら理解していく。
その理解という行為がまさにガロアの対応なのだ。
私はその対応を「指し示し」と呼んでいるが、
学ぶという行為もその「指し示し」が指し示していることを見ることに他ならないと思う。
ガロアの指し示したものとはどんなことだったのか、一緒に考えてみよう。
さて、１次方程式は有理数の範囲で必ず解ける。ここでは係数は有理数(Ｑ)としよう。
１、二次方程式の解き方（完全平方から対称式へ）
二次方程式 Ｘ2＋ａＸ＋ｂ＝０ ・・・(1)
の根をα，βとすると、（根は有理数ではない）
(Ｘ－α)(Ｘ－β)＝０ だから、展開すると
Ｘ2－(α＋β)Ｘ＋αβ＝０ ・・・（2）となる。
つまり、
α＋β＝－ａ
αβ＝ｂ
である。この式を２次の基本対称式と言う。
対称式（αとβを入れ替えても変わらない式）だったら、
この基本対称式を組み合わせて作ることができるので、ａとｂの組合わせでαとβを求めることができる。
【この対称式についてはこのサイトに詳しい『４次方程式の代数的解法について』】
ここでαとβは入れ替えても(1)や(2)の値は変わらないという性質を利用する。
つまり、入れ替えても変わらない式は他にないか探してみよう。
α＋β＝－ａ だから、次にα－βを考えてみる。
S：なぜα－βなの？
T：こうすれば連立方程式で解けるから。それにαとβを入れ替えても、式の値は＋－が違うだけ。
この式は対称式ではないのでａやｂで表すことはできない。
でも、２乗すれば対称式（αとβを入れ替えても同じ値をとる）になる。
（α－β）2＝α2－2αβ＋β2
＝α2＋2αβ＋β2－４αβ
＝(α＋β)2－４(αβ)
＝ａ2－４ｂ・・・(3)
このように基本対称式で表すことができるので、係数ａ，ｂで置き換えることができる。
(3)の平方根をとって、
α－β＝±√(ａ2－４ｂ) （√の中は０ではない）
すると、連立方程式ができて
L1＝α＋β＝－ａ
L2＝α－β＝±√(ａ2－４ｂ)
だから、Ｌ1とＬ2を足して
２α＝－ａ±√(ａ2－４ｂ)
α＝{－ａ±√(ａ2－４ｂ)}／２ ・・・(4)
Ｌ1からＬ2を引くと
β＝{－ａ[-+]√(ａ2－４ｂ)}／２ ・・・(5)
となって解の公式が見つかる。
S：解の公式はＸ＝{－b±√(b2－4ac)}/2a と覚えているけど。
T：ａＸ2＋ｂＸ＋ｃ＝０ をａで割って、
Ｘ2＋(ｂ／ａ)Ｘ＋(ｃ／ａ)＝０ として計算すれば。
S：あっ、ちゃんと出てくるね。
これは係数が有理数の二次方程式の根の図です。体のイメージを体感してください。
２、「体」という数の世界（二次方程式はなぜ解けるのか）
さて、ここで考えたいのが根の交換の意味である。
αとβを交換するということは(4)(5)を見ると、＋と－の交換になっていることに気がつく。
ａ2－４ｂ＝Ｄ とすると、α⇔βは √Ｄ⇔－√Ｄということだ。
でも、√Ｄ→－√Ｄを変えてしまうと、対称式は良いけれど、他の式では変わってしまい、計算がめちゃくちゃになってしまう。
これはどう考えたら良いのだろうか。
視点を変えてみよう。
最初、係数は有理数と考えた。つまり、有理数の世界の中だけでは二次方程式は解けない（因数分解できない）。
では、どういう世界だったら二次方程式が解けるのかというと、有理数に√Ｄを付け足した数の世界の中でだ。
その世界はどういう数の世界か。
式で表すと、
ａ＋ｂ√Ｄ （ａ，ｂ，Ｄは有理数）
この数の世界には有理数が含まれる。（ｂ＝０の時）
そして、この数の世界では、この数を計算してもその結果は必ずａ＋ｂ√Ｄとなる。
足し算はすぐにわかると思う。
かけ算は、
(ａ＋ｂ√Ｄ)(ａ'＋ｂ'√Ｄ)＝(ａａ'＋ｂｂ'Ｄ)＋(ａｂ'＋ａ'ｂ)√Ｄ
となって、やっぱりａ＋ｂ√Ｄの形になる。他の√が出てこないのだ。割り算も同じ。分配法則も成り立つ。この数の世界を「体」という。
さて、ここで√Ｄ→－√Ｄの意味を考えると、ａは変えないで、√Ｄの符号を変えるということになる。
それは、ａ＋ｂ√Ｄの数の世界の計算をどう変えるのだろうか。
この変換は関数と考えることができるのでｆ(ａ＋ｂ√Ｄ)＝ａ－ｂ√Ｄ とする（√Ｄだけ符号を入れ替える）。
ｆ{(ａ＋ｂ√Ｄ)＋(ａ'＋ｂ'√Ｄ)}
＝ｆ{(ａ＋ａ')＋(ｂ＋ｂ')√Ｄ}
＝(ａ＋ａ')－(ｂ＋ｂ')√Ｄ
＝(ａ－ｂ√Ｄ)＋(ａ'－ｂ'√Ｄ)
＝ｆ(ａ＋ｂ√Ｄ)＋ｆ(ａ'＋ｂ'√Ｄ)
となり、足し算もそのまま計算できることになる。さらに、かけ算もやってみよう。
ｆ{(ａ＋ｂ√Ｄ)・(ａ'＋ｂ'√Ｄ)}
＝ｆ{(ａａ'＋ｂｂ'Ｄ)＋(ａｂ'＋ａ'ｂ)√Ｄ}
＝(ａａ'＋ｂｂ'Ｄ)－(ａｂ'＋ａ'ｂ)√Ｄ
ｆ{(ａ＋ｂ√Ｄ)・ｆ(ａ'＋ｂ'√Ｄ)}
＝(ａ－ｂ√Ｄ)・(ａ'－ｂ'√Ｄ)
＝(ａａ'＋ｂｂ'Ｄ)－(ａｂ'＋ａ'ｂ)√Ｄ
で同じになる。ａ＋ｂ√Ｄをａ－ｂ√Ｄに移しても、計算の構造は成り立っている。
これを自己同型（写像）という。（さらに言えばｆ・ｇ（α）＝ｆ（ｇ（α））とすれば位数２の群になる）
この平面（ａ＋ｂ√Ｄの世界）は、Ｘ軸に対して対称になっている。
この図の中で足し算を表してみよう（試しに、(ａ＋ｂ√Ｄ)＋(ａ´＋ｂ´√Ｄ)を図に表してみよう）。
足し算は平行四辺形になる。つまりベクトルと似ている。
これ自体が不思議なのだが、こういう対称性がある世界ということなのだ。
このａ＋ｂ√Ｄの世界をＱ(√Ｄ)と表す。
そして、この世界では二次方程式は因数分解できて解を求めることができる。
S：じゃあ、整数でマイナスとプラスを入れ替えても同じことが言えるの？
S：そうなれば、貯金の多い人と借金の多い人が逆転するよ。
T：整数の世界では＋と－は対称に見えるけど、対称では無い所があるんだ。
(－)×(－)＝(＋)だろ。これが、入れ替えると(＋)×(＋)＝(－)となって都合が悪くなる。
足し算だけだったら０で対称なんだけど、かけ算は１を中心としてで対称だからダメなんだな。
S：つまり、ｙ軸では対称にならないんだな。
【方程式と体の拡大について、慶応大学の坂内教授のビデオがある。
特に方程式による代数的拡大を、
多項式環のイデアルで割っている所がとても良い】
３、三次方程式の解き方
ここで、三次方程式 Ｘ3＋ａＸ2＋ｂＸ＋ｃ＝０・・・(6)
について同じように考えてみよう。もちろん根は有理数ではない（＝Ｑで既約）
(Ｘ－α)(Ｘ－β)(Ｘ－γ)
＝Ｘ3－(α＋β＋γ)Ｘ2＋(αβ＋βγ＋γα)Ｘ－αβγ
＝０ ・・・(7)
(6)と比較して３次の基本対称式を作る。
α＋β＋γ＝－ａ
αβ＋βγ＋γα＝ｂ
αβγ＝－ｃ
これと「根の交換」を使って三次方程式の解の公式を求めてみよう。
ここで、根の交換を考えてみると、３！＝６個ある。
２次の場合は２通り（「変えない」も入れて）しかなかったが、一気に増えた。
（αβγ）（αγβ）（βαγ）（βγα）（γαβ）（γβα）
まず、根をどのように入れ替えても(6)の式の値は変わらない（対称である）。
ここで、直接根を求めるのは難しいので、二次方程式と同じようにα，β，γを使った中間の式を考える。ただ、この場合１の３乗根を使う。
S：なぜ？
T：２次の時は１の２乗根を使ったよ。
S：１の２乗根って－１でしょ。どこで使ったの？
T：α－β＝α＋(－1)βで使ったよ。
S：１の３乗根って？
T：Ｘ3＝１となるＸ。
S：そんなの１でしょ。
T：実は代数方程式で大事なことがある。それは、三次方程式だったら必ず根が３つある（重根を含んで）と言うことなんだ。だから１の他にあと二つある。
Ｘ3－１＝(Ｘ－１)(Ｘ2＋Ｘ＋１)＝０
これは、Ｘ－１＝０又はＸ２＋Ｘ＋１＝０だから、
Ｘ2＋Ｘ＋１＝０を解けばいい。
Ｘ＝{－１±√(－3)}／２
S：√の中にマイナスが出てくるけど、どういう意味？
T：２乗すると－３になる数を考えるということなんだ。
そうすると、より広い数の世界が広がってくる。
{－１＋√(－3)}／２＝ωとすると
ω2＝{(－１＋√(－3)}／２)2＝({－１－√(－3)}／２
となってしまう。もちろんω3＝１ ， ω2＋ω＋１＝０
ここで、ωとα，β，γを使って３元連立方程式をつくってみよう。
Ｌ1＝α＋β＋γ＝－ａ
Ｌ2＝α＋βω＋γω2
Ｌ3＝α＋βω2＋γω
S：なぜこういう式にするの？
T：こういう因数分解の式がある。
x3＋y3＋z3－3xyz＝(x＋y＋z)(x＋ωy＋ω2z)(x＋ω2y＋ωz)
展開するとωが消えてしまうんだ。
あとＬ2とＬ3がわかれば連立方程式だから、α，β，γの値がわかる。
でも、Ｌ1は対称式だけど、Ｌ2とＬ3は対称式ではない。
では、この２つの式からどうやって対称式を作るか。実はωの性質を使うと簡単にできる。まずかけてみよう。
Ｌ2・Ｌ3＝(α＋βω＋γω2)(α＋βω2＋γω)
＝α2＋αβω2＋αγω＋αβω＋β2＋βγω2
＋αγω2＋βγω＋γ2
＝α2＋β2＋γ2＋(αβ＋βγ＋αγ)ω
＋(αβ＋βγ＋αγ)ω2
＝α2＋β2＋γ2＋(αβ＋βγ＋αγ)(ω＋ω2)
＝α2＋β2＋γ2＋(ｂ)(－1)
(α＋β＋γ)2＝α2＋β2＋γ2＋2(αβ＋βγ＋αγ)
だから
Ｌ2・Ｌ3＝(α＋β＋γ)2－2(αβ＋βγ＋αγ)－ｂ
＝(－ａ)2－３ｂ
あとＬ2＋Ｌ3が求まれば、二次方程式を作ることができる。
でも、Ｌ2＋Ｌ3＝α＋βω＋γω2＋α＋βω2＋γωは対称式ではない。
どうしたら対称式（根を交換しても変わらない式）ができるか。
この式の根を交換してみよう。交換の場合は、３！＝３・２・１＝６通りある。
Ｌ2＝α＋βω＋γω2
Ｌ3＝α＋βω2＋γω
この場合Ｌ2だけやってみれば全ての交換が出てくる（同じことだから）。
（αβγ）：α＋βω＋γω2＝Ｌ2
（αγβ）：α＋γω＋βω2＝α＋βω2＋γω＝Ｌ3
（βαγ）：β＋αω＋γω2＝αω＋β＋γω2
（βγα）：β＋γω＋αω2＝αω2＋β＋γω
（γαβ）：γ＋αω＋βω2＝αω＋βω2＋γ
（γβα）：γ＋βω＋αω2＝αω2＋βω＋γ
これはωに注目すると二つに分類できる。
（αβγ）：α＋βω＋γω2＝α＋βω＋γω2＝Ｌ2
（βγα）：β＋γω＋αω2＝αω2＋β＋γω
（γαβ）：γ＋αω＋βω2＝αω＋βω2＋γ （これらが偶置換）
（αγβ）：α＋γω＋βω2＝α＋βω2＋γω＝Ｌ3
（βαγ）：β＋αω＋γω2＝αω＋β＋γω2
（γβα）：γ＋βω＋αω2＝αω2＋βω＋γ
それぞれωをかけていくと出てくるグループだ。
（αβγ）を変えない置換をｅとすると、この根の置換はωをかけていくとできる。
ｅ ：α＋βω＋γω2＝α＋βω＋γω2＝Ｌ2
ｅ・ω2 ：β＋γω＋αω2＝αω2＋β＋γω
ｅ・ω ：γ＋αω＋βω2＝αω＋βω2＋γ
（αγβ） ：α＋γω＋βω2＝α＋βω2＋γω＝Ｌ3
（αγβ）・ω ：β＋αω＋γω2＝αω＋β＋γω2
（αγβ）・ω2 ：γ＋βω＋αω2＝αω2＋βω＋γ
そうすると、このそれぞれの３つの式をかけると、
e・(e・ω2)・(e・ω)＝e3＝Ｌ23
(αγβ)・(αγβ)・ω・(αγβ)・ω2=(αγβ)3=Ｌ33
と二つにまとめることができる。計算をすると、
Ｌ23＝(α+βω+γω2)3
＝α3+β3+γ3＋６αβγ
＋３ω(α2β+β2γ+αγ2)
＋３ω2 (αβ2+βγ2+α2γ)
Ｌ33＝(α+βω2+γω)3
＝α3+β3+γ3＋６αβγ
＋３ω2 (α2β+β2γ+αγ2)
＋３ω(αβ2+βγ2+α2γ)
この二つの和が対称式になることに気がつく。
（すべての互換で値が変わらないように作ったわけだから対称式になるのは当然）
Ｌ23＋Ｌ33＝２(α3＋β3＋γ3)＋１２αβγ
＋３(ω＋ω2)(αβ2＋βγ2＋α2γ)
＋３(ω＋ω2)(α2β＋β2γ＋αγ2)
＝２(α3＋β3＋γ3)＋12αβγ
＋３(－1)(αβ2＋βγ2＋α2γ)
＋３(－1)(α2β＋β2γ＋αγ2)
＝２(α3＋β3＋γ3)＋１２αβγ
－３(αβ2＋βγ2＋α2γ
＋α2β＋β2γ＋αγ2)
(α＋β＋γ)3＝α3＋β3＋γ3＋３(α＋β＋γ)(αβ＋βγ＋γα)－３αβγ
だから、すべて基本対称式になり、したがって係数で表すことができる。
（Ｌ23＝Ｒ1 Ｌ33＝Ｒ2 とする）
Ｒ1＋Ｒ2＝２(α＋β＋γ)3－９(α＋β＋γ)(αβ＋βγ＋γα)＋２７αβγ
＝２ａ3＋９ａｂ－２７ｃ
また、さっきのＬ2・Ｌ3＝ａ2－３ｂを３乗すると、
Ｒ1・Ｒ2＝(ａ2－３ｂ)3
根と係数の関係により、Ｒ1とＲ2はこれを根とする二次方程式
Ｔ２－（Ｒ1＋Ｒ2）Ｔ＋Ｒ1・Ｒ2＝０ を解けば求めることができる。
二次方程式を解くと、
Ｔ＝[－(２ａ3＋９ａｂ－２７ｃ)±√{(２ａ3＋９ａｂ－２７ｃ)2－４(ａ2－３ｂ)3}]／２
となって、Ｒ1とＲ2が求まる。
さらに、これの３乗根をとればＬ2とＬ3が求まる。
そして、３元連立方程式を解けばα，β，γが求まる。
α＋β＋γ ＝－ａ
α＋βω＋γω2＝Ｌ2
＋）α＋βω2＋γω＝Ｌ3
３α ＝－ａ＋Ｌ2＋Ｌ3
というように。
４、三次方程式はなぜ解けるのか
ここで、この解き方の意味を探ってみよう。
まず、大きなストーリーは、方程式を解くために、置換を利用して対称式を作り、その対称式でより小さな次数の方程式を作って、解を求めていくという方向だ。
この対称式がいくつできるのかが大事な問題で、その次数以上の数になっては意味がない。
この場合、６通りの置換で取る値が２通りしかないという点が解けるポイントである。
また、最初は全ての置換に対して対称であり、解を求めるために方程式を解く（ベキ根をとる）と、対称性が少しずつ崩れていくという筋道になっている。
つまり、対称性が少しずつ崩れていくということに対応して、逆に体の世界は拡張している。そこを見てみよう。
この方程式の根は、有理数の中にはない。（判別式によるが）
では、根をどのように変形すれば有理数の中で計算できるか。
まず、根にωやω2 をかける。つまり、a＋bωを入れる。
それは、有理数にωを付け加えることに当たる。式でいうと、a＋bωの世界である。
この世界の要素は、a＋bω＋cω2 と表すことができる。
この世界の中では、３根の和を３乗して加えると対称式ができ、係数で表すことができる。
この場合、対称式だから根の置換は全ての置換に対して値を変えない。これらは、全てｍ＋ｎωの世界の中でできる。
次に、この対称式から二次方程式ができるので解くことができる。
Ｔ２－（Ｒ1＋Ｒ2）Ｔ＋Ｒ1・Ｒ2＝０
ここで二次方程式でやったように考えると、
(Ｒ1－Ｒ2)2＝(Ｒ1＋Ｒ2)2－４Ｒ1・Ｒ2…① となって対称式になる。
(Ｒ1－Ｒ2) ＝±√{(Ｒ1＋Ｒ2)2－４Ｒ1・Ｒ2}…②
①の左辺は対称式なのに、②の左辺は対称式ではない。
つまり、①はα,β,γをどのように入れ変えても同じ値をとるけど、②では(Ｒ1－Ｒ2)と(Ｒ2－Ｒ1)が違うので２つの値になってしまう。
ということは、√をとると対称性が減っているということだ。→【詳しい解説】
では、どれくらい対称性が減っているのかというと、
根の偶置換（(123)＝(12)(23)というように偶数の互換でできている置換）では±(Ｒ1－Ｒ2)の値は変わらない。
つまり、偶置換では成り立っている。
これまで根の置換を考えてきたが、方程式を解くときに、
根の置換が重要な意味を持っていることがおぼろげながら浮かんでくる。
そこで、この置換そのものの集まりを考えると、一つの構造を持っていることに気がつく。
それについては後で取り上げるが、とりあえず３つの根の置換を３次の対称群Ｓ3という。
偶置換の集まりも群となる。
そして、偶置換はＳ3の部分集合であると同時に部分群になり、これを交代群Ａ3と言う。
S：√をとっても、６つの置換のうち半分の偶置換では成り立っているのですね。
T：そして、3√ を取ると対称性は完全に壊れ、群（成り立つ置換）はｅ（変えない置換）のみになる。
ｅのみの群（置換）になったとき、その方程式は解けたという。
体の方でいうと、それは元の体をだんだん拡張していくことにあたる。群（置換）の方はだんだん小さくなっていく。
S：ガロアはこの群と体の関係を見抜いたんだ。
S：この体の方の関係も面白いよ。方程式の公式は冪根を使うんだ。
体 群（置換）
Ｑ(ω)＝Ｌ ○ ○ 三次方程式の対称群（根の置換）＝Ｓ3
｜ ｜
｜ ｜ 二次方程式にする
Ｌ(√Ｄ)＝Ｍ ○ ○ √をとる＝偶置換で変わらない
｜ ｜ Ａ3＝交代群
｜ ｜
Ｍ(3√Ｒ)＝Ｎ ○ ○ 3√をとる
解けた！
S：これを二次方程式に当てはめるとどうなるの？
T：良い問題だね。やってみよう。
体 群（置換）
Ｑ(有理数) ○ ○ ２次方程式の対称群（根の置換）＝Ｓ2＝{e，(1,2)}
｜ ｜ 二つの根を入れ替えても(対称)式の値は変わらない
｜ ｜
Ｑ(√Ｄ) ○ ○ √をとる＝{ｅ} ⇒根の対称性は無くなる＝根が見つかる
↓ 解けた！
ａ+ｂ√Ｄの世界では因数分解できる
S：つまり方程式が解ける世界(体)と根の置換との関係には密接な関係があるということですね。
５、置換群を調べる…根の置換は群である
有理数にωとω2 を加えた世界Ｑ(ω)では３つの根の対称式を作ることができる。
つまり、３つの根の置換はすべて成り立っている。
この置換は３！＝３×２＝６通りあって、置き換えを演算として群をなす。
わかり易くするために表を作ってみよう。
(23)は根に番号をつけ、２番目と３番目を入れ替える。(123)は1→2→3→1と置き替える置換を表す。
(123)(123)は、αβγを(123)と置き換えるとγαβとなり、さらに(123)と置き換えるとβγαとなる。
これはαβγを(132)と置き換えたものと等しいので、(123)(123)＝(132)とみなすことができる。
| ｅ （123） （132） （12） （13） （23）
ｅ | ｅ （123） （132） （12） （13） （23）
(123)|（123） （132） ｅ （23） （12） （13）
(132)|（132） ｅ （123） （13） （23） （12）
(12)|（12） （13） （23） ｅ （123） （132）
(13)|（13） （23） （12） （132） ｅ （123）
(23)|（23） （12） （13） （123）（132） ｅ
この群を３次の対称群Ｓ3という。この表を使うと、さっきの分類は次のようになる。
e ＝（αβγ）＝α＋βω＋γω2
e(123)(123)＝e(132)＝e×ω2＝（βγα）＝αω2＋β＋γω
e(123)＝e×ω＝（γαβ）＝αω＋βω2＋γ
(23)＝（αγβ）＝α＋βω2＋γω＝Ｌ３
(23)(123)＝(12)＝（αγβ）×ω＝（βαγ）＝αω＋β＋γω2
(23)(123)(123)＝(13)＝（γβα）×ω2＝αω2＋βω＋γ
この分類は、｛e，(123)，(132)｝と｛(23)，(12)，(13)｝に分けられるからできたことになる。
前の方の置換は(123)＝σ＝ωとすると、σ2＝(132)＝ω2 だから、
｛e，(123)，(132)}＝｛e，σ，σ2｝＝Ａ3 となり、巡回群(σだけで生成される群)となる。
そして、表からなぜωとω2になっているのかもわかる。
また、Ａ3は偶置換（例えば、(123)1＝(12)(23)のように偶数個の互換からできている置換）
の集まりで、偶置換どうしの演算はもちろん偶置換になるから群をなし、
Ｓ3の部分群になっている。
さらに、この群は元の群を二つに分ける。
この部分群Ａを一つにまとめｅ（単位元）とすると、｛ｅＡ，(23)Ａ｝という新たな群（Ｓ3／Ａ3）ができる。
これを剰余群という。これについては後でとりあげる。
三次方程式が解けたのは、根の置換は６種類あるけど、その値は２種類になってしまうからだ。
体 群
Ｑ(ω)＝Ｌ ○ ○三次方程式の対称群Ｓ3＝{ｅ,σ,σ2,τ,στ,σ2τ}
↓ ｜ ｜ ↓部分群
拡大 ｜ ｜ ２次方程式にする
Ｌ(√Ｄ)＝Ｍ ○ ○√をとる＝偶置換で変わらない
↓ ｜ ｜ 交代群Ａ3＝｛ｅ,σ,σ2｝
拡大 ｜ ｜ ↓部分群
Ｍ(3√Ｒ)＝Ｎ ○ ○ 3√をとる｛ｅ｝
解けた！
S：群と方程式を解くことの関係が何となくイメージできたような気がする。
S：部分群と拡大体が対応しているね。
６、四次方程式の解き方
次は四次方程式を同じように解いてみよう。
Ｘ4＋ｐＸ3＋ｑＸ2＋ｒＸ＋ｓ＝０・・・(1)
の根をａ，ｂ，ｃ，ｄとする。根と係数との関係（基本対称式）は？
S：(x-a)(x-b)(x-c)(x-d)=0を展開すれば良い。
根と係数の関係は、
ａ＋ｂ＋ｃ＋ｄ＝－ｐ
ａｂ＋ａｃ＋ａｄ＋ｂｃ＋ｃｄ＝ｑ
ａｂｃ＋ａｂｄ＋ａｃｄ＋ｂｃｄ＝－ｒ
ａｂｃｄ＝ｓ
T：４元連立方程式に見えるが、これを解くと(1)に戻ってしまう。ここにもう一つ、根の関係式を作りだしてみよう。
それは、(ａ＋ｂ)－(ｃ＋ｄ)という式。（この分解式はいろいろ考えられる。本当はｉを使ってやりたかったけど計算が大変！）
ところが、この値がわからない。わからないが、対称式にすれば基本対称式から係数で表すことができる。
まず、三次方程式でやったように、この式に置換を施してみる。置換は全部で４！＝4・3・2・1＝２４通り。
この２４通りを全て施してみると、６通りの値をとることがわかる。
実際に根に番号を振って、１２３４と並べるとどう変わっているか調べる。
１２３４ ⇒ ｅ
１２４３ ⇒ (３４)
２１３４ ⇒ (１２)
２１４３ ⇒ (１２)(３４)
これは同じ値になる。
３４１２ ⇒ (１３)(２４)
３４２１ ⇒ (１４２３)
４３１２ ⇒ (１３２４)
４３２１ ⇒ (１４)(２３)
これは符号が－になる。ということは２乗すれば同じ値になる。
８通りが同じ値になるのだから、２４÷８＝３となり、他にもあと２通りの式が求まる。
それは、(ａ＋ｃ)－(ｂ＋ｄ)と(ａ＋ｄ)－(ｂ＋ｃ)
２乗して
Ｌ1＝((ａ＋ｂ)－(ｃ＋ｄ))2
Ｌ2＝((ａ＋ｃ)－(ｂ＋ｄ))2
Ｌ3＝((ａ＋ｄ)－(ｂ＋ｃ))2
この３つの式を試してみれば、それぞれ８通りの置換で同じ値になり、すべての置換では異なる値を取ることがわかる。
これを対称式にするためには、全ての互換（全ての置換でなくても）で、式の値が変わらないようにしなければならない。
そのためにはＬ1,Ｌ2,Ｌ3の基本対称式を作る。
まず、Ｌ1＋Ｌ2＋Ｌ3を計算してみよう。
この計算は、http://www.wolframalpha.com/ に任せれば良い。
下の数式を入力してみよう。
(a+b-c-d)2+(a+c-b-d)2+(a+d-b-c))2
=3a2-2ab-2ac-2ad+3b2-2bc-2bd+3c2-2cd+3d2
=3(a2+b2+c2+d2)-2(ab+ac+ad+bc+bd+cd)
S：(ａ＋ｂ＋ｃ＋ｄ)2
＝ａ2＋ｂ2＋ｃ2＋ｄ2＋２(ａｂ＋ａｃ＋ａｄ＋ｂｃ＋ｂｄ＋ｃｄ)
だから、ａ2＋ｂ2＋ｃ2＋ｄ2＝ｐ2－２ｑだね。
すると、Ｌ1＋Ｌ2＋Ｌ3＝３ｐ2－８ｑだ。
Ｌ1＋Ｌ2＋Ｌ3＝Ｔ1 は間違いなく対称式になる。
同様に
Ｌ1・Ｌ2＋Ｌ1・Ｌ3＋Ｌ1・Ｌ3＝Ｔ2
Ｌ1・Ｌ2・Ｌ3＝Ｔ3
と全て基本対称式になるので、係数で表すことができる。
この３つの式は三次方程式の根と係数の関係なので、Ｌ1，Ｌ2，Ｌ3を解とする三次方程式を作ることができる。
(Ｘ－Ｌ1)(Ｘ－Ｌ2)(Ｘ－Ｌ3)＝０
Ｘ3－(Ｌ1＋Ｌ2＋Ｌ3)Ｘ2＋(Ｌ1Ｌ2＋Ｌ1Ｌ2＋Ｌ2Ｌ3)Ｘ－Ｌ1・Ｌ2・Ｌ3＝０
すでに三次方程式は解くことができたので、Ｌ1，Ｌ2，Ｌ3が求まる。
Ｌ1，Ｌ2，Ｌ3が求まれば、√をとって、
(ａ＋ｂ)－(ｃ＋ｄ)＝√Ｌ1（これは係数の式なっている）
(ａ＋ｃ)－(ｂ＋ｄ)＝√Ｌ2
(ａ＋ｄ)－(ｂ＋ｃ)＝√Ｌ3 これに
ａ＋ｂ＋ｃ＋ｄ＝－ｐ
を加えれば、この連立方程式を解くことができ、ａ，ｂ，ｃ，ｄを求めることができる。
２（ａ＋ｂ）＝√Ｌ1－ｐ
＋２（ａ－ｂ）＝√Ｌ2－√Ｌ3
４ａ＝√Ｌ1＋√Ｌ2＋√Ｌ3－ｐ
・・・
計算するのが大変なだけで、理屈は三次方程式よりも簡単かもしれない。
７、四次方程式はなぜ解けるのか
三次方程式は二次方程式に置き換え、四次方程式は三次方程式（つまり二次方程式）に置き換えて解くことができた。
それができたのは対称式のおかげである。
しかも、その対称式がそれぞれの次数よりも一つ少ない数になるからである。
S：つまり、四次方程式は、二次方程式を解いて3√をとり、さらに√をとるんだね。
これを根の置換群で考えると、三次方程式の場合は３つの根の置換は３次の対称群
（３個の置き換えは６つの元の群）になる。
四次方程式の場合は４次の対称群（４個の置き換えは２４個の元の群＝Ｓ4）だ。
群というのは、演算に閉じていて、単位元と逆元があるもの。さっきの表は３次の対称群Ｓ3だ。
私たちの身のまわりにはこの群になるものがたくさんある。
対称群ということからイメージできるように、対称なものは対称群をなしている。
方程式でいうと根の置換は群をなしている。その対称群が根号を取るたびに対称性を崩していき部分群が小さくなっていく。
体 群
有理数＝Ｑ ○ ○ 四次方程式の対称群＝Ｓ4
｜ ｜ 三次方程式にする
｜ ｜ 二次方程式にする
Ｑ(√Ｄ)＝Ｍ ○ ○ √をとる＝偶置換で変わらない
｜ ｜ Ａ4＝交代群
｜ ｜
Ｍ(3√Ｒ)＝Ｎ ○ ○ 3√ をとる
｜ ｜ Ⅴ4＝クラインの四元群
Ｎ(√Ｌ) ｜ ｜ √をとる
○解けた！○ ｛ｅ｝
S：方程式を解くということは、n√（冪根）を付け足していくことなんだね。
S：体と群が密接につながっていることもわかった。
ガロアは方程式に対応した群があると考えた。それをガロア群と言う。
きちんとした定義をする前に、大まかなイメージを探ってみよう。
そのためにガロア群を具体的な方程式について考えてみよう。
８、具体的な方程式のガロア群…二項方程式の解き方
Ｘ5－１＝０・・・(1) 根は１の５乗根である。
Ｘ5－１を（Ｘ－１）で割ると、（Ｑで既約にする）
Ｘ4＋Ｘ3＋Ｘ2＋Ｘ＋１＝０・・・(2)が出てくる。
この方程式をガロア群を用いて解いてみよう。
四次方程式だから６でやったようにすれば解けるのだが、この方程式はもっと簡単に解ける。
ガウス平面でオイラーの公式を使えば簡単だが代数的に解く。
なお、この部分は省略して直接Ｌ1とＬ2へ行っても大丈夫。
まず、原始５乗根をχとすると、(1)の根はχ，χ2，χ3，χ4，χ5＝１
(2)の根はχ，χ2，χ3，χ4とかなり限定される。
この根の置換は群となるはず。
χ→χ2 とすれば、他の根の行く先も必然的に決まる。
χ→χ2 χ2→χ4 χ3→χ6＝χ χ4→χ8＝χ3・・・(1243)
以下同様に、
χ→χ3 χ2→χ χ3→χ4 χ4→χ2・・・(1342)
χ→χ4 χ2→χ3 χ3→χ2 χ4→χ・・・(14)(23)
これは、Ｓ4の部分群になっている。
群の表を作ると、
｜ ｅ (1243) (14)(23) (1342)
ｅ ｜ ｅ (1243) (14)(23) (1342)
(1243) ｜ (1243) (14)(23) (1342) ｅ
(14)(23)｜ (14)(23) (1342) ｅ (1243)
(1342) ｜ (1342) ｅ (1243) (14)(23)
(1243)＝σとすると、(14)(23)＝σ2、(1342)＝σ3となる。
σでまとめると、
｜ ｅ σ σ^2 σ^3
ｅ ｜ ｅ σ σ^2 σ^3
σ ｜ σ σ^2 σ^3 ｅ
σ^2 ｜ σ^2 σ^3 ｅ σ
σ^3 ｜ σ^3 ｅ σ σ^2
４根の置換は２４通り（４・３・２・１＝２４）あるが、この方程式の場合は４通りになってしまった。
｛ｅ， σ，σ2，σ3｝＝Ａという位数４の巡回群（Ｚ4になる。）
（ここまでは根を求めることとは直接は関係ないが、根の置換群の例としてあげる）
この群の部分群は、｛e｝と｛ｅ，σ2｝の２つ。
｛ｅ，σ2｝は４乗が起こす置換で正規部分群（これは重要な部分群で、詳しくは９で説明）
この置換σ2＝(14)(23)で、４根は次のように
{χ，χ4｝と｛χ2，χ3｝の２つに分類できる。
σ（χ，χ4）＝χ2，χ3 σ2（χ，χ4）＝χ，χ4 σ3（χ，χ4）＝χ2，χ3
σ（χ2，χ3）＝χ，χ4 σ2（χ2，χ3）＝χ2，χ3 σ3（χ2，χ3）＝χ，χ4
だから、それぞれを足して、
Ｌ1＝χ＋χ4
Ｌ2＝χ3＋χ2
と置き、積と和を作るとσ,σ2,σ3で値は変わらない上にその数値もわかる。
Ｌ1＋Ｌ2＝χ＋χ2＋χ3＋χ4＝－１
Ｌ1・Ｌ2＝χ＋χ2＋χ3＋χ4＝－１
よって、二次方程式 ｔ2＋ｔ－１＝０を解けば、Ｌ1,Ｌ2が求まる。
Ｌ1＝(－１＋√５)／２
Ｌ2＝(－１－√５)／２
つまり、χ＋χ4＝(－１＋√５)／２ χ・χ4＝１
χ3＋χ2＝(－１－√５)／２ χ3・χ2＝１
同様に二次方程式 ｔ2－{(－１＋√５)／２}ｔ＋１＝０
を解けばχとχ4が求まる。
χ＝{－(－１＋√５)／２}±√[{－(－１＋√５)／２}2－４]・・・(3)
χ2とχ3も同じように求まる。つまり、√を二回とれば根が見つかる。
｛ｅ，σ，σ2，σ3｝が方程式(2)のガロア群である。
今までガロア対応は上から下へと書いてきたが、今度は逆に書く。
体 群
Ｎ（(3)の√） ○ ○ ｛ｅ｝
↑√をとる ｜ ｜
二次方程式を解く｜ ｜ ↑部分群
Ｑ（√５)＝Ｎ ○ ○｛ｅ，σ2｝
↑√をとる ｜ ｜ 偶置換で変わらない(χ4+χ，χ3+χ2の値はσ2で変わらない)
二次方程式を解く｜ ｜ ↑部分群
Ｑ=有理数 ○ ○｛ｅ，σ，σ2，σ3｝
(χ4+χ3+χ2+χ=-1はσ，σ2，σ3で変わらない)
この方法はＸ7－１＝０でも同じように使えて、最初二次方程式を解き、次に三次方程式を解いて根を求めることができる。
６次方程式が代数的に解けてしまうことが驚きだ。
もっとも、ガウスは１９歳のある朝、Ｘ17－１＝０の代数的な解き方（√だけを使う）を求める方法を思いついたというからすごい。
そういえば、ガロアもガロア理論を創ったのが数学を学び始めて３年目の１７～８歳だった。
Ｘ17－１＝０のガロア群は、エクセルで計算した方が簡単である。【エクセルデータ】
この群を見ると、どういう群なら方程式が解けるのかがわかってくる。
今度は方程式のガロア群だけでなく、対応する中間体も調べてみよう。
９、方程式のガロア群＝拡大体のｋ－自己同型群
もっと具体的な方程式のガロア群を調べてみよう。
そしてガロア群と拡大体の関係を調べてみよう。
(1) Ｘ2＋３Ｘ＋１＝０
この方程式の根はＸ＝－1.5±0.5√５
だから、有理数だけの世界の中では解くことができない。
でも、有理数に√５を加えた世界では解くことができる。
有理数に√５を加えた世界は、有理数と√５でできた世界である。
これをＱ(√５)と表し、Ｑ（有理数）を拡大した数の世界（体）という。
この世界の数はａ＋ｂ√５と表され、四則はすべて成り立つ。
この世界（＝Ｑ(√５)）では、方程式(1)は
{Ｘ－(－1.5＋0.5√５)}{Ｘ－(－1.5＋0.5√５)}＝０
と因数分解できる（解くことができる）。
根を置換すること（α⇔β）は、Ｑ（√５）の世界で見るとどういう意味を持っているかというと、
Ｑ（√５）からＱ（√５）への自己同型写像σ：√５→－√５ （ただし有理数は一切変えない）にあたる。
この写像は根の置換にあたり、σはα→βとなり、この写像を二回繰り返すと（σ2）：α→αとなる。
つまり位数２の群となる。
S：結局写像と置換は同じことになるのですね。
T：そう、置換群と自己同型写像の群は同型。そしてこの写像は有理数の世界の方程式(1)を変えない。
もう一つ例をあげよう。
(2) Ｘ2－５Ｘ＋６＝０
Ｘ＝２，３ であるが、これは置換できない。方程式は変わらないが、そもそもこの方程式は有理数で分解できる。
(Ｘ－２)(Ｘ－３)＝０
となり、２と３を入れ替えても方程式は変わらないが、
有理数の世界で２と３を入れ替えたらめちゃくちゃになってしまう。
つまり、この場合は有理数の世界での置換はできない。
と言うか置換は全く同じものを同じものへ移す恒等写像だけである。
この方程式のガロア群は単位元だけの群である。
S：ガロア群を考えるときには既約方程式だけを取り扱うんですね。
T：どの体で既約かが大事ということですね。
さらに三次方程式で考えてみよう。
(3) Ｘ3－１＝０はどうなるか。
(Ｘ－１)(Ｘ2＋Ｘ＋１)＝０と因数分解できる。（α＝１）
この段階で、右側の式で根βとγを入れ替えてもＱの世界を変えることはない。ただし、１とβやγと置き換えることはできない。
置換群でいうと、「変えない」と「βとγを置き換える」置換のみの位数２の群になる。
この方程式をさらに因数分解するために、√(－３)を付け加え、Ｑ(√(－３))＝Ｑ（ω）という世界をつくる。
Ｑ(√(－３))＝｛ａ＋ｂ√(－３)：ａ，ｂ√Ｑ}
この世界では、(3)は (Ｘ－１)(Ｘ－ω)(Ｘ－ω2)＝０と因数分解できる。
根は、Ｘ＝１，ω，ω2 である。この世界Ｑ(√(－３))＝Ｑ（ω）では、先ほどの根の置換は、
Ｑ(√(－３))からＱ(√(－３))への自己同型写像で、
σ：√(－３)→－√(－３)（有理数は変えない）という写像にあたる。
置換群でいうと、βとγを置き換える置換σと単位元ｅからできている。
σ×σ＝ｅになっているし、√(－３)を－√(－３)に変えても世界の四則は矛盾しない。
だから、この方程式のガロア群は｛ｅ，σ}である。
このように、根の置換と体の写像との間に密接な関係があるのではないかと感じる。
ガロアは根の置換を深く追及して、それが拡大された体の自己同型写像にあたるということを発見した。
（実はこれをはっきりさせたのはガロアではなくデデキント。ガロアは根の置換と拡大体との対応を見つけた）
(4) Ｘ3－２＝０
この方程式のガロア群は方程式を見ただけではわからない。
まず、三次方程式だからＳ3の部分群だろう。
先に３根を出してみると、3√２，3√２ω，3√２ω2である。
ωをかけることによる巡回置換(123),(132)は考えられる。
では、互換はどうだろうか。3√２ω，3√２ω2の置換(23)は成り立ちそう。
部分群どうしのかけ算と割り算…正規部分群と剰余群
実はこの問題は悩んでしまった。
(123)，(132)，(23)で群ができるのだろうか？
｛ｅ，(123)，(132)｝は群。｛ｅ，(23)｝も群だ。これを合体させたらどうなるか。
群どうしのかけ算だ。それぞれの元をかけると出てくる。ちゃんと６元になる。
｛ｅ，(123)，(132)｝×｛ｅ，(23)｝＝｛ｅ，(123)，(132)，(23)，(23)(123)，(23)(132)｝
＝｛ｅ，(123)，(132)，(23)，(12)，(13)｝ （∵(23)(123)＝(12)，(23)(132)＝(13)）
結局Ｓ3と同じだ。 （群は可換とは限らないので左右入れ替えたのも確かめる必要がある）
さらに、
｛ｅ，(123)，(132)｝×｛ｅ，(12)｝＝｛ｅ，(123)，(132)，(12)，(12)(123)，(12)(132)｝
＝｛ｅ，(123)，(132)，(12)，(13)，(23)｝
このかけ算も同じ結果になり、群どうしのかけ算ができることがわかる。
そうすると、群の割り算も考えられるのではないか。
でも、
｛ｅ，(123)，(132)，(23)，(23)(123)，(23)(132)｝／｛ｅ，(123)，(132)｝＝｛ｅ，(23)｝
と形式的に考えても新しい意味は出てこない。これが意味を持つためにはどう考えたらいいのか？
ここで｛ｅ，(123)，(132)｝＝Ａ，｛ｅ，(23)｝＝Ｂとおく。
｛ｅ，(123)，(132)，(23)，(23)(123)，(23)(132)｝＝｛Ａ，(23)Ａ｝…(1)
このまとめたＡと(23)Ａが群になれば新しい群が生まれたことになる。表で試してみよう。
｜ Ａ (23)Ａ _
Ａ｜ Ａ Ａ(23)Ａ
(23)Ａ｜(23)Ａ (23)Ａ(23)Ａ
このとき、Ａ×Ａ＝Ａなので、(23)Ａ＝Ａ(23)だったら、
｜ Ａ (23)Ａ
Ａ｜ Ａ (23)Ａ
(23)Ａ｜(23)Ａ Ａ
となって、Ａを単位群とする群になる。
確かめてみる。
(23)Ａ＝{(23),(12),(13)}, Ａ(23)={(23),(13),(12)}で同じ。
つまり、Ａを単位群とする新しい群が生まれたことになる。
では、
｛ｅ，(23)，(123)，(123)(23)，(132)，(132)(23)｝／｛ｅ，(23)｝＝｛Ｂ，(123)Ｂ，(132)Ｂ｝…(2)
は成り立つのだろうか。
もう予想がつくと思うけど、成り立たない。
確かめてみよう。 ⇒ もし、(123)Ｂ=Ｂ(123),(132)Ｂ=Ｂ(132)だったら、
｜ Ｂ (123)Ｂ (132)Ｂ _ Ｂ (123)Ｂ (132)Ｂ
Ｂ｜ Ｂ Ｂ(123)Ｂ Ｂ(132)Ｂ Ｂ (123)Ｂ (132)Ｂ
(123)Ｂ｜(123)Ｂ (123)Ｂ(123)Ｂ (123)Ｂ(132)Ｂ (123)Ｂ (132)Ｂ Ｂ
(132)Ｂ｜(132)Ｂ (132)Ｂ(123)Ｂ (132)Ｂ(132)Ｂ (132)Ｂ Ｂ (123)Ｂ
ところが、{ｅ,(23)}×(123)={(123),(12)}…(3) (123)×{ｅ,(23)}={(123),(13)}…(4)
同じではない。したがって群にはならない。
つまり、Ａではわり算できるけどＢではできない。
ちなみにＡは３次の交代群と言いＡ3で表す。
｛eＡ3，(23)Ａ3｝＝｛Ａ3e，Ａ3(23)｝＝Ｓ3／Ａ3 （(23)は(12)や(13)と置き換えても同じ）
つまり、割り算ができる群と、そうでない群があるということだ。
この割り算ができる群を正規部分群という。
そして、割り算してできた群を剰余群（商群）という。
群になるかならないかの理由は、(2)の場合は、右からかけた(3)と左からかけた(4)とが一致しない。
ところが、(1)の場合は見事に一致するからである。
今までに出てきた偶置換は全て正規部分群である。
そして、ガロアは、この正規部分群がつくる剰余群が巡回群であることが、方程式が代数的に解ける理由であることを発見した。
中間体と部分群…ガロアの対応
さて、この群はＳ3と同じになってしまったが、体の方ではどうなっているのだろうか。
Ｑ(3√２，ω)
＝｛ａ1＋ａ23√２＋ａ33√４＋ａ4ω＋ａ53√２ω＋ａ63√４ω：ａiはＱの要素｝
（∵ Ｑ（3√２）（ω）＝｛ａ1＋ａ23√２＋ａ33√４｝×｛ａ1’＋ａ2’ω｝）
このガロア拡大体はこの様に６次で表される。つまりベクトルの独立な基底と同じ。
また、対応するガロア群Ｓ3の位数も６である。つまり、位数と次数は対応している。
(4)の方程式は、有理数Ｑの世界では因数分解することができない（既約）。
分解するためには、ωや3√２を付け加え、Ｑの世界を拡大する必要がある。
例えば、Ｑ(3√２)＝｛ａ1＋ａ23√２＋ａ33√４：ａｉはＱの要素｝と拡大してみよう。
すると、
(Ｘ－3√２)(Ｘ2＋3√２Ｘ＋3√４)＝０
と分解できる。さらに、Ｑ（3√２）にωを付け足して、
Ｑ(3√２，ω)
＝｛ａ1＋ａ23√２＋ａ33√４＋ａ4ω＋ａ53√２ω＋ａ63√４ω：ａｉはＱの要素｝
とすれば、
(Ｘ－3√２)(Ｘ－3√２ω)(Ｘ－3√２ω2)＝０と分解できる。
（実はこの道筋は逆。この場合3√２がわかっているので因数分解したが、普通はわからない。
そこで、ωを先に添付してから3√２を添付して拡大体を作って解く。）
この時、根の置換と拡大体Ｑ（3√２），Ｑ（3√２ω），Ｑ（3√２ω2）との関係はどうなっているのだろうか？
（１ ２ ３）＝（3√２ 3√２ω 3√２ω2） とする。
根の置換群はすでにわかっているが、それに対応する体の自己同型変換はどう考えたらいいのか？
まずωをかけるという変換σを考えてみる。
σ（3√２）＝3√２ω
σ（3√２ω）＝3√２ω2
σ（3√２ω2）＝3√２
これは置換（１２３）にあたる。
では、これを二回繰り返すと、
σ2（3√２）＝3√２ω2
σ2（3√２ω）＝3√２
σ2（3√２ω2＝3√２ω これらは、（１３２）にあたる。
次は（２３）＝τにあたるのは何だろう？
これはωだけを変えて、3√２は変えない変換（つまり√(－３)→－√(－３)）で、
τ（3√２）＝3√２
τ（3√２ω）＝3√２ω2
τ（3√２ω2）＝3√２ω
と考えることができる。そして、この二つの変換の組み合わせで、さらに二つの変換が出てくる。
τσ（3√２）＝3√２ω2
τσ（3√２ω）＝3√２ω
τσ（3√２ω2）＝3√２ これらは（１３）
στ（3√２）＝3√２ω
στ（3√２ω）＝3√２
στ（3√２ω2）＝3√２ω2 これらは（１２）
というわけで、群と体の変換が確定できた。
有理数の世界では、３つの根の全ての置換によって方程式(4)の値は変わらないので、
置換群は３！＝３×２＝６の元がある。
群表にすると、（123）は1→2→3→1と替える置換
| ｅ （123） （132）（12）（13） （23）
ｅ | ｅ （123） （132）（12）（13） （23）
（123）|（123）（132） ｅ （23）（12） （13）
（132）|（132） ｅ （123）（13）（23） （12）
（12） |（12） （13） （23） ｅ （123）（132）
（13） |（13） （23） （12）（132） ｅ （123）
（23） |（23） （12） （13）（123）（132） ｅ
さっきの｛ｅ，(23)｝はこの群の部分群になっている。
| ｅ（23） 根２→３→２に変える置換
ｅ | ｅ（23）
（23） |（23）ｅ
でも、部分群は他にも３つある。
| ｅ（12） 根１→２→１に変える置換
ｅ | ｅ（12）
（12） |（12）ｅ
| ｅ（13） 根１→３→１に変える置換
ｅ | ｅ（13）
（13） |（13）ｅ
| ｅ （123）（132） 根１→２→３→１に変える置換
ｅ | ｅ （123）（132）
（123）|（123）（132） ｅ
（132）|（132） ｅ （123）
これらの部分群と中間体が自然に対応しているのがわかる。
例えば、部分群｛ｅ，(23)｝＝｛ｅ，τ｝に対応する中間体は、この変換で変わらない体、つまりＱ（3√２）と考えることができる。
同様に、｛ｅ，(13)｝＝｛ｅ，τσ｝で変わらない中間体はＱ（3√２）。
｛ｅ，(12)｝＝｛ｅ，στ｝で変わらない中間体はＱ（3√２ω2）。
念のために、Ｑ(3√２ω)＝｛ａ＋ｂ3√２ω：ａ，ｂはＱの要素｝が拡大体の意味。
この元を２乗すると、3√４ω2で、３乗すると２となり、3√２や3√２ω2は含まれない。
これとＱ(3√２ω2)の二つは違った世界（体）ということだ。
さて、問題は｛ ｅ，（123），（132）｝＝｛ｅ，σ，σ2｝で変わらない中間体Ｑ（？）は何だろうか？
その前に、Ｓ3に対応するのはＱ（3√２，3√２ω，3√２ω2）だけど、
これは先にやったように、Ｑ(3√２，ω)という拡大体である。
そして、この世界の自己同型変換はＳ3と同型である。
さて、（１２３）はωをかけるという変換だった。そこで次の拡大体を考えてみる。
Ｑ(ω)＝｛ａ＋ｂω：ａ，ｂはＱの要素｝
この世界ではωやω2があり、×ωや×ω2で変わらない（ω←→ω2）。
つまり、(123)と(132)で変わらない体である。しかも、拡大体Ｑ(3√２，ω)の部分体である。
この様にＳ3の４つの部分群によって不変な部分体（Ｑの拡大体）があって見事に対応している。
図でまとめてみると、
どうだろうか。
拡げられた世界（拡大体）の変換と根の置換群とが対応していること、
広げられた世界（中間体）と置換群の部分群が対応していることがおぼろげながらイメージできてきただろうか。
４次方程式でやってみると、この対応がより強く感じられる。
この対応をガロア対応という。
そしてこの対応は、どんな世界の拡大によって方程式が解けるのかを指示してくれる。
それは、複雑な体（方程式）の構造をわかりやすい群に置き換えて議論するという回り道の智慧なのだ。
続き⇒【ガロア理論…可解群の発見 ジクソーパズルの最後のピース】へ
目次へもどる