群論の歴史

**群論**（さまざまな形の群を研究する数学の分野）は、様々な分野で同時に発展してきた。群論は3つの歴史的な起源がある： 代数方程式論、数論と幾何学である。ジョゼフ＝ルイ・ラグランジュ、パオロ・ルッフィーニ、ニールス・ヘンリック・アーベル、エヴァリスト・ガロアは、群論の分野の初期の研究者であった。

## 19世紀前期
群の研究と呼べる最初のものは、おそらく18世紀後半のラグランジュの仕事に遡る。しかし、この研究はやや孤立しており、一般的にはオーギュスタン＝ルイ・コーシーとガロアの1846年の出版物が群論の始まりとされている。理論は何もない状態から発展したわけではなく、その前史の中で3つの重要な流れがあった。

### 置換群の発展
1つ目の群論の根本的な起源は、四次方程式よりも次数の大きな多項式からなる方程式の解の探求であった。

その始まりは、与えられた *n* 次方程式から、その式の *m* 個の根を解としてもち m である *m* 次方程式を導き出す問題に見られる。単純なケースでは、問題は（1659）まで遡る。（1740）は、双二次方程式の二次因子の決定は必然的に六次方程式に帰着すると記しており、トマ・ルスール（1703–1770）（1748）とエドワード・ウェアリング（1762-1782）はそのアイデアをさらに洗練させた。ウェアリングは、対称式の基本定理を証明し、とくに、四次方程式の根と、そのレゾルベント（分解式）である三次方程式の間の関係を考察した。

ラグランジュ（1770, 1771）の研究目標は、なぜ三次方程式と四次方程式は根の公式を求めることができるのかを理解することであり、その成果は、根の置換のなす群が鍵となる要素であるということであった。彼は、彼が調べた全ての（*résolvantes, réduites*）の根が、それぞれの方程式の根の有理関数で表されることを発見した。これらの関数の特性を研究するために、彼は*組合せの算法*を考案した。同時代のアレクサンドル＝テオフィル・ヴァンデルモンド（1770）は、対称関数と円分多項式の解の理論を開拓した。レオポルト・クロネッカーは、代数学の新たな流行はヴァンデルモンドの第一論文に始まるという発言が引用されている。同様に、コーシーもラグランジュとヴァンデルモンドの両者を対称関数と変数の置換の研究に関する功績を称えている。

パオロ・ルッフィーニ（1799）は、五次方程式以上の方程式を解くことが不可能であることの証明を試みた。ルッフィーニは、置換群の理論、例えば元の位数、共役、置換群の元の巡回置換の積への分解といったアイデアを探求した最初の人物である。ルッフィーニは、今日、非推移的および推移的と呼ばれる概念や、非原始的群および原始的群と呼ばれるものを区別し、（1801）では、ある方程式の群を*置換の集合*という呼び名で使用している。彼はまた、群というアイデアが際立っているとする彼自身に宛てられたからの手紙を公開した。しかしながら、彼は群の概念、あるいは置換群の概念でさえ、形式化には決して至らなかった。

エヴァリスト・ガロアは、群論と体論を、今日ガロア理論と呼ばれている理論によって結びつけた最初の数学者として称えられている。ガロアは、や楕円関数に関する理論にも貢献している。群論に関する彼の最初の出版物は18歳の時（1829）に刊行されたが、彼の貢献は、没後の1846年に論文集（Liouville, Vol. XI）が出版されるまで、ほとんど注目を集めなかった。彼は、置換群がもつ、現在閉性と呼ばれる特性に関して考察し、それについて彼は

と述べている。
ガロアは、ある方程式の*n*個の根がr_1, r_2, \ldots, r_nであるとしたら、*r*同士の置換からなる群で、以下の2条件
*その群が含む置換に対して不変な、根を変数とする関数式は有理式の形をとる
*逆に、根の有理式の形で表される関数は、群に含まれる置換に対して不変である
を満たすものが常に存在することを発見した。
現代の用語で言えば、方程式に結びついたガロア群の可解性が、方程式の冪根による可解性を決定するということである。

ガロアは、最初に*群*（フランス語で*groupe*）および*原始的*という単語を現代と同じ意味で使った人である。彼は*原始的群*という言葉は使わなかったが、ガロア群が原始的である方程式を*原始的方程式*と呼んでいる。彼は、正規部分群の概念を発見し、可解な原始置換群は素数冪位数の有限体上のアフィン空間へ作用するアフィン群の部分群として特徴づけられることを発見した。

ガロア群に類似の群は、（今日）置換群と呼ばれている。置換群の理論は、オーギュスタン＝ルイ・コーシーとカミーユ・ジョルダンの手により、新たな概念の導入と、まず何より置換群の特殊な諸クラスに関する豊富な結果と、それに加えいくつかの一般的定理によって、さらなる飛躍的な発展を遂げた。特筆すべき成果としては、ジョルダンは準同型の概念を（置換群の文脈に限られてはいたが）定義した。*群*という用語を一般に普及させたのもジョルダンである。

*抽象的*概念としての有限群は、アーサー・ケイリーの1854年の論文*群の理論について、記号方程式<math>\theta^n = 1</math>を出発点として*が初出である。ケイリーは、全ての有限群は置換群の部分群であると主張した。この成果は今日ケイリーの定理として知られている。その後何年かをかけて、ケイリーは系統的に無限群と行列の代数的特性、例えば積の結合則や逆行列の存在、特性多項式などを探求した。

### 幾何学に関連する群論

第二に、幾何学における系統立った群の利用は、主に対称性の群という形で、フェリックス・クラインによる1872年のエルランゲン・プログラムに始まる。 現在リー群と呼ばれているものの系統立った研究は、1884年にソフス・リーが創始し、ヴィルヘルム・キリング、、イサイ・シューア、ルートヴィヒ・マウラーおよびエリ・カルタンの仕事がそれに続いた。不連続な（離散群の）理論はクライン、リー、アンリ・ポアンカレおよびシャルル・エミール・ピカールによって、とくにモジュラー形式やモノドロミーと密接に関わりながら構築された。

### 数論における群の出現

群論の第三の起源は数論である。レオンハルト・オイラーは、フェルマーの小定理を独自に拡張する際に、ある整数を法とした、数の代数的操作－モジュラー算術－を考察した。これらの研究を大幅に発展させたのは、を考え、それによって現れた巡回群や、より一般的にはアーベル群に関する数多くの性質を確立したカール・フリードリヒ・ガウスである。ガウスは、に関する研究において、形式の合成に関して結合則が成り立つことを明示的に述べた。1870年、レオポルト・クロネッカーは数体のイデアル類群の研究の中でアーベル群の定義を与え、ガウスの成果をより一般化した。エルンスト・クンマーの、フェルマーの最終定理を証明しようとした試みは、素元分解を記述する群の導入に結実した。1882年、は置換群とアーベル群の結びつきに気づき、両側消去律を含む定義を与えたが、彼の扱っていた状況（有限群）には十分な、逆元の存在が欠けていた。

### 収束

ますます独立した主題となってきた群論は、代数学の教科書の第四部をこの理論に費やした、この分野の古典である *[[:en:List of important publications in mathematics#Traité des substitutions et des équations algébriques|Traité des substitutions et des équations algébriques (置換と代数方程式に関する論考)]]* (1870) を著したカミーユ・ジョルダン、そして著作*置換と代数におけるその応用*（1882）がコールによって英訳（1892）されたによって一般的なものになった。19世紀のその他の群論学者には、ジョゼフ・ルイ・フランソワ・ベルトラン、シャルル・エルミート、フェルディナント・ゲオルク・フロベニウス、レオポルト・クロネッカーおよびがおり、その後にはウィリアム・バーンサイド、レナード・ユージーン・ディクソン、オットー・ヘルダー、E. H. ムーア、ルートヴィヒ・シローおよびがいる。

## 19世紀末期
1870～1900年の期間において群は、リーによる連続群、不連続群、根の置換（次第に substitution ではなく permutation と呼ばれるようになった）のなす有限群、 そして線形変換からなる有限群（通常は有限体上の）として定式化されていた。1880～1920年の期間に、群の表示によって記述される群が単独の研究対象として次第に確立した。それはケイリー、、マックス・デーン、といった人々によって始められ、1920～1940年の期間にH. S. M. コクセター、らの仕事が続き、の分野へと発展した。

有限群論の1870～1900年の期間における顕著な達成には、シローの諸定理、ヘルダーの平方因子を持たない位数の群の分類、そしてフロベニウスによる指標理論の萌芽が挙げられる。1860年には既に、有限射影平面上の自己同型群が（マシューによって）研究されており、1870年代にはクラインによる群論の視点からの幾何学が、彼のエルランゲン・プログラムにより実体化していた。より高次元の射影空間の自己同型群はジョルダンによって彼の*論考*の中で研究され、非素体の扱いとユニタリ群を除き、いわゆるのほとんど全てのものの組成列を含んでいた。この研究はムーアとバーンサイドにより引き継がれ、1901年にはレナード・ディクソンによる包括的な教科書として結実した。単純群の役割はジョルダンにより重視され、非単純性の判別基準はヘルダーによって開発され、位数 200 未満の単純群の分類に成功した。この研究はフランク・ネルソン・コール（660 まで）とバーンサイド（1092 まで）、そして"ミレニアム・プロジェクト"の初期において、1900年に Miller と Ling によって位数 2001 まで拡張された。

## 20世紀前期
1900～1940年の期間に、無限"不連続"群（現在離散群と呼ばれるもの）が、それ自体で研究対象となった。バーンサイドの有名な定理は、任意の体上、それどころか任意の群上の有限次元線形群の任意の部分群に関する研究のさきがけとなった。基本群とは、J. A. トッドとコクセターに、組み合せ群論におけるなどの開発意欲を起こさせた。多項式からなる方程式（に、前世紀のように取り組むのではなくて、その）解の集まりとして定義される代数群は、リーによる連続群の理論から多大な恩恵を得た。ベルンハルト・ノイマンとは、多項式ではなく群論的な方程式により定義される群である、群のバラエティに関する彼らの研究を立案した。 

連続群も、1900～1940年の期間に爆発的な成長を遂げた。また、位相群も研究され始めた。連続群論において多数の偉大な達成があった: カルタンによる半単純リー群の分類、ヘルマン・ワイルによるコンパクト群の表現の理論、アルフレッド・ハールの局所コンパクトな場合の研究が挙げられる。

有限群も1900～1940年の期間に恐ろしく発展した。この時代はフロベニウス、バーンサイドおよびシューアによる指標理論の誕生を目の当たりにすることになった。この理論は19世紀に置換群に関して出された問題の多くに答えを与える手助けをし、抽象有限群に全く新しい技法への道を開いた。この時代にはまた、による、有限可解群の研究を革新した、任意の素数集合へのシローの定理の一般化に関する仕事や、''p''-群のべき乗-交換子構造に関する、の概念や、この分野においてシロー以来の最初の大きな成果で、*p*-群の研究を革新したの概念などの仕事も目撃した。この期間にはによる、シロー部分群のホールによる一般化に関連する補群の存在に関する、有名なシューア-ツァッセンハウスの定理や、フロベニウス群に関する彼の進展、そしてのほぼ完全な分類も見られた。

## 脚注