【数学】ガロア理論学習メモpart.2 可解群と対称群
はじめに
前回のpart.1から結構時間が立ってしまいましたが、part.2について書きます。当初としては群論の基礎について書きたいところでしたが、群論については既にいろんな書籍や記事などでかなり分かりやすい解説がいくつも上がっているので、基礎的なところは軽くやって、ガロア理論について理解するのに欠かせない可解群について書いていきたいと思います。
代数方程式からは解の置換のパターンによって構成されるガロア群というものを構成できるのですが、そのガロア群が可解群という群のクラスに入る時にその方程式は代数的解を持つ、つまり解の公式を持つというように言われています。ですので、このpart.2では可解群がどういう構造を持った集まりなのかをまとめていきたいと思います。
また、この記事は勉強したことのメモですので、数学科の人に怒られるのではと冷え冷えになるレベルでまともな証明がありませんが、あからさまに間違えている点があればご指摘を頂けるとありがたいです。
目次
可解群の基礎
定義
早速ですが可解群の定義を確認したいと思います。
群が以下のような部分列を持つとする。 ただし、は群の単位元を表す。 この部分群が可解列、つまり番目の部分群がの正規部分群(これを満たす部分群を正規列と呼ぶ)かつ、隣り合う2つを用いて構成される剰余群が巡回群となるとき、を可解群と呼ぶ。
これがどういうものなのかを紐解く前に、代数学の基本である群が何なのかを示してみます。
群とは形を持った集合
集合に対して作用する二項演算を定義する。この2つの間に以下の4つが成り立つ時、集合と二項演算による代数系を群と呼ぶ。 [条件(i):閉性] を満たすこと。つまり、によって出力される値は必ずの元となることが保証されている。 [条件(ii):結合法則] に対して、 が成り立つこと。つまり演算を実行する順序で結果が変わらないことが保証されている。 [条件(iii):単位元の存在] 任意のに対して が成り立つが存在すること。また、これを満たすを単位元と呼ぶ。 [条件(iv):逆元の存在] 任意のに対して が存在すること。ただし、は単位元である。また、これを満たすをの逆元と呼ぶ。
証明は省きますが、整数集合と加算による代数系は群を成します。また、詳細は次の節で述べますが任意の整数を0を除く整数(通常は自然数)で割ったあまりのなす集合と加算による代数系も群を成します。
また、数値による集合ではなく、写像(関数と似たようなもの)による集合を用いた群も非常に重要です。表と裏に同じ記号が記されている三角形に対して、0度回転させる写像、120度回転させる写像、240度回転させる写像、縦線を軸にして三角形を裏返す写像をそれぞれ定義すると、は合成写像に関して群を成します(以降、これを正三角形の2面体群と呼びます)。
これは個人的な見解となりますが、集合はそれだけだとただ数値とかモノとかが集まっているだけでそれらの間の関係というのは不明瞭となりますが、それらの関係を二項演算によって対応付けてやればそれに応じて"集合の形"が見えてくるというのが、群について考察する上での大切な考えの一つだと考えています。
実際にこれらの例から見られる面白い形の1つとして、ループ状の形を持つ群がに見られます。このような形状を持つ群を巡回群と呼び、この例だとの倍数に1ずつ足していくだけで構成できるのでと山括弧を使って表記(今回の例がこのように記述されることは殆どありませんが・・・)。
群の中の群
もう一つ興味深い例として、群の中に存在する群というのを見てみましょう。
群の部分集合を考える。が群を成す時、をの部分群と呼ぶ。
例を挙げます。整数集合の内、の倍数のみを取って構成されるは加算について群を成し、更に明らかにはの部分集合なので、の部分群であるとも言えます。また、で割ったあまりによる群の部分群としてが挙げられます。
部分群について調べてみると、その元となる群のなす形についてより深い考察ができるようになり、可解群のような構造は群の面白い形の内の一つと言えます。ただ、具体的に可解群がどのような形になるのかについて考えるのはもう少し突き詰めてからにしましょう。
左右対称な群
部分群の他、可解群の形を考察する際にもう一つ重要な概念として、アーベル群――あるいは分かりやすい名称として可換群について述べてみます。
交換法則が成り立つ群をアーベル群または可換群と呼ぶ。つまり、群の任意の2元に対して以下が成り立つことを言う。 二項演算子の表記を略したことに注意。
今までの例で言うと、、は可換群ですが、群の定義の直後に述べた正三角形のニ面体群は可換群ではありません。しかし、二面体群から部分群としてを取り出すと、と交換法則が成り立ちます。これは正三角形を回転させてから裏返しにしても、裏返しにしてから正三角形を回転させても、表向きと裏向きという状態は変わらないという事実に基づいた計算結果です。この様な性質を持つ部分群を正規部分群と言いますが、この定義を述べると以下のようになります。
群の部分群が任意のに対して以下の性質を持つ時、をの正規部分群と呼ぶ。
更に興味深い事実を言うと、可換群は必ず可解群となります。ただ、これはあくまで十分条件ですので、非可換群は非可解群という命題は必ずしも真になるとは限りません。実際に正三角形の二面体群は非可換群ではありますが、可解群となります。その理由について述べるために次の節で遂に剰余群について定義したいと思います。
割り算のあまりによるクラス分け
群の定義について述べた節で、集合と加算による代数系は群を成すという風に述べましたが、このような群は一般的に剰余群と呼ばれています。
剰余群の本質的な説明の一つとしては群の元をグループ毎に同じモノとして見なしても群としての性質が保存されるといった事が挙げられるでしょう。そして、群の元をグループ毎に同じモノとして見なして出来上がるのが剰余類というものです。以下、剰余類の定義を述べます。
群の部分群と、任意のを考える。もしも、が正規部分群かつ を満たすならば、をそれぞれ剰余類と呼ぶ。また、が正規部分群ではない場合は、をそれぞれ左剰余類、をそれぞれ右剰余類と呼ぶ。
これ、しっかりと具体例を示さないと結構分かりにくいと思うので、試しにによるの剰余類を示してみます。
の部分群から、の剰余類を示す。まず答えから述べると、得られる剰余類は の5元となり、それぞれが5で割って0~4のあまりが発生する整数を集めた集合に対応する。そして、それらの和集合は明らかに全ての整数を成し、明らかにそれぞれの剰余類に共通元はない。
そして、剰余類のなす集合というのは群をなし、これこそが剰余群と呼びます。
群の部分群による剰余類が と表され、更にが正規部分群である時、これらは群の二項演算 について群をなす。これは剰余群と呼ばれ、より表される。
ついでに先程の5の倍数による剰余類から構成される剰余群がどんな計算をするのか一応確認してみましょう。
集合は という計算について群となる。ここで、5の倍数同士で加算しても結局5の倍数となり、として一つに吸収されることに注意。
言うなればあまり同士の足し算ですね。とかが考えられて無いのも、7も5で割るとあまりが2になるので、これもに含まれてしまうからです。
正三角形は可解群
ここまで説明して、正三角形によるニ面体が可解群である事を説明できます。
正三角形によるニ面体の部分列は と表される。 がの正規部分群であることはこれまでの例で既に示した。は剰余類としてを持つ剰余群であり、より、これは巡回群として表される。 は単位元の定義より明らかにの正規部分群である。剰余群も単位元の定義よりそのものであるので明らかに巡回群である。 よって、の部分列は可解列であるので、が可解群であることが示された。
つまり、可解群というのは巡回群のようなループ構造の群のマトリョーシカになっているような形として見ることができます。先程提示したニ面体の正規部分群の図からも「表と裏の巡回群」と「120°回転の巡回群」の形が見られると思います。そうなると、どうしてこのような構造が解の方程式の可解性を導くことになるのかという疑問が残りますが、とりあえずもう一つ重要な概念である解の交換を群と結びつけてみます。
解の交換と同型な群
置換による群
解の交換という動作を表現するのに有用な群として対称群というものを定義します。
集合の自己同型写像、つまり全単射な写像の全体は合成写像に関して群をなし、次対称群と呼ぶ。
言うなれば、個の区別可能な元による集合の中身を変えないまま1対1の関係を与える写像の全体が対称群に当たります。ただ、これだけだとイメージ付かない人も多いと思うので、ここで3次の対称群の元として、6つの置換を列挙します。
置換の表記について知らない人の為に説明しますと、それぞれの写像の表記が上に書かれた数字を下に書かれた数字に置き換えると言った内容を表現しています。ここで2つ以上の数字が同じ数字に置き換わる、1~3以外の数字に置き換わると行ったことが絶対に起こらないように注意してください。前者が守られないと1対1の関係(全単射)が崩れてしまい、後者が守られないと集合の中身が変わらないという前提()が崩れてしまいます(ただしのような写像を考える場合にはその限りではありません)。
また、念の為に言いますと、単位元は一番左の写像(恒等写像)が該当します。
偶置換による群
対称群の部分群として重要なものとして、交代群というものがあります。
次対称群の内、偶置換として表される元(自己同型写像)全体の集合も合成写像に対して群をなし、これを次交代群と呼ぶ。また、はの正規部分群である。
ここで、初めて出た単語として偶置換というものが出てきていますが、これは集合の元の内、2つだけ入れ替えた操作(互換)を偶数回行ったものとして現れる置換の事を言います。例えば、
は、1番目の数字と2番目の数字を入れ替えた後に、2番目の数字と3番目の数字を入れ替えれば実現できますので偶置換となります。また、入れ替えた数字のみを記述するという互換の表記を用いてこれを
または2つの括弧を繋げて
と表記する場合もあります。
ここまで説明するとの元全体をリストアップできます。自分用の確認の意味合いも込めて、置換における表記と互換における表記の双方を載せておきますね。ただし、恒等写像のみは互換の形で表せないので、便宜上と表記します(もっと、適切な記号がある場合はご教授くださるとうれしいです)。
3次の対称群は可解群
とりあえずモヤモヤするところはまだたくさんあると思いますが、3次方程式のガロア群に対応する(その理由については後のパートで説明できるようにします)対称群としてが可解群となるかを軽く示したいと思います。
まずはの中で、偶置換による部分群にあたるものを列挙していきましょう。これは前の節でリストアップした通り、
が該当します。続いて、奇置換にあたる方も
が当たります。がの正規部分群であることは交代群の定義を述べる時にサラっと言いましたが、直感的な理由を申し上げると「偶置換に対して一回互換を施したら奇置換となり、奇置換に対して一回互換を施したら偶置換になる」というニ面体でいう”表と裏”のような関係になるからという感じなります。そのついでに、
としておくと、剰余群が剰余類としてとの巡回群となることを述べておきます。
続いて、をよく見てみると、
によって生成される巡回群として表されることに気付くと思います。実際に上記の置換をと表すととして表記できることに気付かされます。すると、巡回群の部分群というのは恒等写像のみによって構成される群によって構成されるので(これを自明な群と呼びます)、対称群の部分列というのは以下のように書けます。
そして、とは全て巡回群なので、3次の巡回群は可解群となることが示されました。
ここまでしっかりと読んでくれた人などは気付いたと思いますが、正三角形の二面体と3次対称群は群として全く同じ構造(同型)をしています。ただこの辺の説明まで丁寧にやろうとするといつまで経ってもガロア理論についての勉強が終わらないと思うので、恐縮ではありますが、気になる人は同型写像あたりを調べてみるといいでしょう。
最後に
結構量が多くなってきてしまったので、一先ずここまでにします。本当は4次対称群や5次対称群あたりまで触れたかったのですが、自分が納得できるように説明しようとすると凄く長くなってしまう気がしたので、後のパートで解説致します。