群論
群論(ぐんろん、group theory)とは、群を研究する学問。
群の概念は抽象代数学における中心的な概念。
環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。
群論の方法は代数学の大部分に強い影響を与えている。
線形代数群とリー群の理論は群論の一分野。
特に発展を遂げており、独自の適用範囲を持っている。
結晶や、水素原子などの構造の多くは、対称変換群で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。
1960年代~80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀後半の数学において最も重要な業績の一つである。
群論は、歴史的に3つの源泉がある。数論、代数方程式論、幾何学である。数論の系統は、オイラーに始まり、ガウスの合同式の理論、および二次体に関係した加法群・乗法群の研究によって発展した。
置換群に関する初期の研究成果は、ラグランジュ、ルフィニ、アーベルらの、代数方程式の一般解の研究の過程で得られた。
エヴァリスト・ガロアは「群」という用語を作った。
彼は、初期の群論と現在の体論を結びつけた。
幾何学については、群はまず射影幾何学で、のちに非ユークリッド幾何学で重要になった。
フェリックス・クラインはエルランゲン・プログラムにおいて、
群論は幾何学の原理を統合するものになることを予言した。
1830年代、エヴァリスト・ガロアが初めて、代数方程式の可解性の判定に、群を導入した。
アーサー・ケイリーとコーシーはこの研究を発展させ、
置換群の理論を創設した。
歴史的な2番目の源泉としては、幾何学方面からの流れがある。
可能な幾何学(ユークリッド幾何学、双曲幾何学、射影幾何学)へ群を適用したのは、
フェリックス・クラインのエルランゲン・プログラムに始まる。
1884年、ソフス・リーは群(現在リー群として知られている)を解析的問題に適用した。
三番目に、群は(最初は暗黙的に、後に明示的に)代数的整数論に用いられた。
これら初期の源流では、観点が違っていたので、そのため群に対する観念も違ったものとなっていた。
1880年頃から群の理論の統合がなされてくる。
そして、群論の影響はますます増大し、20世紀初期には抽象代数学、表現論など多くの派生分野が成立した。
有限単純群の分類は、20世紀中頃より膨大な量の研究がなされ、ついに完成に至った。
群の範囲は、有限置換群や行列群の特殊な例から、生成系と基本関係で表示される抽象群まで、いくつかのクラスに分かれていると考えることができる。
初めて系統的な研究のなされた群のクラスは置換群である。
任意の集合 X と、X からそれ自身への全単射(置換とも呼ばれる)の集まり G で合成と反転に関して閉じているようなものが与えられたとき、G は X に作用する群であるという。
X がn 個の元からなり、G が置換全体からなるならば、G は n-次対称群 Sn と呼ばれる。
一般の置換群 G は X の対称群のある部分群となっているものをいう。
ケイリーによる初期の構成では、
任意の群は(左正則表現の意味で)X = G として自分自身に作用する置換群として提示された。
多くの場合、置換群の構造は対応する集合への作用の性質を用いて調べられる。
例えば、n ≥ 5 に対する交代群 An が単純群である。
つまり、真の正規部分群を持たない。
次の方法で示すことができる。An が単純であるという事実は、高次一般代数方程式の根の冪根による表示の不可能性において重要な役割を果たす。
次に重要な群のクラスは行列群あるいは線型代数群と呼ばれるものである。ここでは群 G は体 K 上の与えられたサイズの正則行列からなる集合で、積と逆をとる操作について閉じているようなものである。そのような群は n-次元ベクトル空間 Kn に線型変換として作用する。この作用により、行列群は概念的には置換群とよく似たものとなり、また作用の幾何学は群 G の性質を示すのに最大限有効に利用することができる。
置換群や行列群は、群が空間 X にその内在的な構造を保つように作用するという、変換群の概念の特別の場合である(置換群の場合は X は集合で、行列群の場合は X はベクトル空間であった)。変換群の概念は対称変換群(あるいは「対称性の群」)の概念に近い関係にある。変換群というとある構造を保つ変換「全体」の成す群を意味することが多い。
変換群の理論は群論と微分幾何学とを結びつける橋渡しの役割を果たすものである。多様体上の同相あるいは微分同相としての群作用の考察は、リーおよびクラインに始まり、膨大な研究がなされている。ここで扱う群それ自体は、離散群かもしれないし連続群となるかもしれない。
群論の発展の初期段階では、群としては、数、置換、行列などによって実現される「具体的」なものばかりが考察の対象であった。特定の公理系を満たす演算を備えた集合としての「抽象群」の概念が根付き始めるのは、19世紀後半になってからのことである。抽象群を特定する典型的な方法のひとつは、生成元と基本関係による表示
G = \langle S\mid R\rangle
を通して与えられる。抽象群を与えるための最も重要な方法は、群 G とその正規部分群 H による商群あるいは剰余群と呼ばれる群 G/H を構成する操作である。代数体上のイデアル類群は早くから扱われてきた剰余群の例であり、数論において非常に重要である。群 G が集合 X 上の置換群であるとき、その剰余群 G/H はもはや X に作用しないものだが、抽象群を考えることによってこのような問題を心配する必要も無くなる。
具体的な群から抽象群へ視点を移すことにより、その群がどのように実現されているかということとは無関係に(現代的な言葉で言えば、同型のもとで不変な)群の性質について考察することが自然なものとなった。またこのような性質による群の分類も、有限群、捩れ群、単純群、可解群などといったものが考えられる。また、個々の群の性質を探ることよりも、群のクラスに対して広く適用できるような結果を確立する方法が求められた。このような新しいパラダイムは、数学の発展に対して傑出した重要性を持つものであり、ダフィット・ヒルベルト、エミール・アルティン、エミー・ネーターおよび彼らに師事した数学者たちによって、抽象代数学が構築されていく前兆となるものであった。
群に新たな構造を付け加えることにより、群の概念が発展することになった。新たな構造とは、特に、位相空間、可微分多様体、代数多様体などである。群演算(乗法 m と反転 i)
m\colon G\times G\to G, (g,h)\mapsto gh, \quad i\colon G\to G, g\mapsto g^{-1}
が、上記の構造と両立可能であるとき、つまりこれらが連続、滑らか、(代数幾何学的な意味で)正則な写像となっているとすると、群 G はそれぞれ位相群、リー群、代数群と呼ばれるものになる。
群に別種の構造を付け加えることによって、これらの種類の群と、数学の別の分野が関連づけられる。そして、違う手法を研究に適用することが可能になる。
群を記述するのには複数の方法がある。有限群は、可能な全ての積 g * h によって構成される乗積表を書き出すことによって記述することができる。もう一つの主要な方法としては、「生成系(生成元)と関係式」によって群を定義する方法であり、これは群の表示と言われる。
群 G の生成系を与える任意の集合 F = {gi}i ∈ I が与えられたとき、F の生成する自由群から群 G への全射準同型が存在する。この全射準同型の核は F のある部分集合 D で生成され、基本関係のなす部分群と呼ばれる。このような群の表示は、ふつう ⟨F | D⟩ と書かれる。例えば、整数全体の成す加法群 Z = ⟨a | ⟩ はただ一つの元 a (= ±1) によって生成され、基本関係を持たない(n が 0 でない限り n1 は 0 ではないから)群である。生成元に対応する記号からなる文字列は語 (word) と呼ばれる。
組合せ論的群論は、群を生成元と基本関係の側面から研究する学問である。これは、特に何らかの有限性条件、例えば有限生成であるとか有限表示を持つ(つまり、有限生成かつ基本関係が有限個しかない)というような条件が仮定されている場合に有用である。この分野は、その基本群を通してグラフ理論との関係を利用することができて、例えば自由群の任意の部分群が自由であることが示せる。
群を生成元と基本関係によって与える方法から、いくつかの問題が自然に生じてくる。語の問題というのは「群の生成元からなる二つの語が、いつその群の同じ元を定めるか」というものである。この問題をチューリングマシンに関連付けることにより、この問題を一般に解決することのできるアルゴリズムが存在しないことを示すことができる。同じくらい困難な問題に「異なる表示によって与えられる二つの群が、いつ互いに同型となるか」という同型問題がある。例えば、さきほどの加法群 Z は
⟨x, y | xyxyx = 1⟩
とも表すことができるが、この表示と先ほどの表示とが同型な群を与えるということは、表示だけ見れば自明なことではない。
幾何学的群論とは、語の問題や同型問題といった問題に対して、群を幾何学的対象として見たり、群が作用する適当な幾何学的対象を求めるといったような幾何学的な視点から解決を試みるものである。前者の方法としては、群の元を頂点とし、右からの乗法によって写りあう元を辺で結んだケイリーグラフがある。二つの元が与えられれば、それらの元を結ぶ最短経路の長さとして語の距離が定義できる。後者のやり方として、ミルナーと Svarc による、(コンパクト多様体のような)距離空間 X に適当な方法で作用する群 G が与えられれば、群 G は空間 X に擬等長 (quasi-isometric) であるという定理がある。
群 G が集合 X に作用するとは、G の各元が、X 上定義された全単射で群構造と両立するものを定めることをいう。ただし、X にさらに構造が入っているときは、それに応じて表現の概念に制限を加えるほうが有効である。例えばよくある状況として、群 G のベクトル空間 V における(または V を表現空間とする)表現(線型表現)とは、GL(V) を V 上の正則線型変換全体の成す群として、群準同型
ρ: G → GL(V)
のことをいう。これはつまり、群 G の各元 g に線型自己同型 ρ(g) が割り当てられていて、さらに G の別の任意の元 h に対して ρ(g) ∘ ρ(h) = ρ(gh)が成り立つということである。
この定義は二つの方向性で捉えることができて、いずれの仕方でも(群コホモロジーや同変 K-理論のような)数学のまったく新たな領域を生じる。ひとつは、群 G について新たな情報をもたらすものである。例えば群 G における演算はしばしば抽象的に与えられるけれども、表現 ρ を通じて(特に表現が忠実のとき)群演算は行列の積という非常に具体的なものに対応付けられることになる。もうひとつは、よく知られた群が与えられ、それが複雑な対象に作用しているものとすれば、そのような対象を調べるのが簡単になるというものである。例えば、G が有限群とすれば、表現空間 V が既約表現の直和に分解されるというマシュケの定理が知られているが、既約表現に対してはシューアの補題などが利用できるので、V 全体を考えるよりもずっと扱いやすい。
与えられた群 G に対する表現論とは、G の表現としてどのようなものが存在しうるかを問うものである。状況設定はさまざまで、どのような手法を使えるかとか、どのような結果が得られるかというようなことがそれぞれの場合で変わってくる。有限群の表現論およびリー群の表現論は表現論における二大主要テーマである。群の表現の全体像は群の指標によって統制されている。例えば、フーリエ多項式は、周期函数全体の成す L2-空間に作用する、絶対値 1 の複素数全体の成す群 U(1) の指標として解釈することができる。
与えられた任意の種類の構造を持つ対象 X に対し、その対称変換(あるいは対称性、symmetry)とは対象 X からそれ自身の上への構造を保つ変換のことを言う。これは多くの場面で見つかるが、たとえば
対象 X が特に付加的な構造を持たないただの集合であるとき、X の対称変換とは集合 X からそれ自身への全単射のことであり、その全体として対称群が得られる。
対象 X が距離構造を備えた平面上の点の集合(あるいはもっとほかの距離空間)であるとき、X の対称性とは集合 X 上の全単射であって、X 上の任意の二点間の距離を保つもの(等距変換)のことである。これに対応する群は X の等距変換群と呼ばれる。
先ほどと同じ集合で距離の代わりに角を保つものは共形写像あるいは等角写像と呼ばれる。等角写像の全体からは、例えばクライン群が得られる。
対称変換は何も幾何学的対象に限ったものではなく、代数的対象にも同様に定義することができる。例えば、方程式x^2-3=0は二つの根 ±√3 を持つが、このとき、この二つの根を入れ替えるという対称変換が考えられ、これによって得られる群が、この方程式に属するガロア群と呼ばれるものである。一変数の任意の代数方程式が、その根の上のある種の置換群としてのガロア群を持つ。
群の公理は対称変換の本質的な性質を定式化するものであり、対称変換の全体は群を成す。実際、対象に対称変換を施してからさらに別の対称変換を施せば、得られる結果は再び対称変換であるから、対称変換は写像の合成に関して閉じている。また、対称を固定して動かさない恒等変換はかならずそ対象の対称変換である。逆元の存在については、対称変換の取り消しができるということによって保証され、群演算の結合性は対称変換が空間上の写像であり、写像の合成が結合的であることから従う。
フルフトの定理 (Frucht's theorem) は「任意の群は、あるグラフの対称変換群である」ことを主張するものである。従って任意の抽象群は、実際にある具体的な対象の上の対称変換の成す群として得られることになる。
対象の「構造を保存する」という言及は、圏で考えればもっと厳密に扱うことができる。つまり、構造を保つ写像とは射のことであり、対称変換群(対称性の群)とは考えている対象の自己射群である。