知脈

ガロア理論

Galois Theoryガロア群Galois Group

1831年5月、21歳のエヴァリスト・ガロアはパリの牢獄で数学の原稿を書き続けた。翌年、彼は決闘で致命傷を負い、その前夜に「時間がない」と書き残しながら手稿をまとめた。ガロアが死んで14年後、その手稿が出版されたとき、数学者たちは一人の若者が代数学の中心問題を完全に解決していたことを発見した。21歳という年齢が数学の歴史に刻んだ痕跡は、今日も消えていない。

方程式の可解性という問い

2次方程式には解の公式がある。3次・4次方程式にも、16世紀のイタリア数学者たちが苦闘の末に発見した公式がある。ではすべての次数の方程式に根号(冪根)を使った解の公式があるか——これがガロア以前の中心問題だった。アーベルとルフィニは5次以上の方程式に一般的な解の公式が存在しないことを証明していたが、「なぜ存在しないのか」という深い説明は与えていなかった。

エドワード・フレンケルは『数学の大統一に挑む』のなかで、ガロアの思想を「方程式の解の対称性を群として捉えること」と説明している。ガロアはより深い問いを立てた——「この方程式は解けるか?」という問いを「方程式に対応するガロア群の構造はどのようなものか?」という問いに変換したのだ。

群論という眼鏡

ガロア群は方程式の解たちを置換する操作の集まりだ。解をどう並べ替えても方程式が変わらない——そのような対称性の集合が群を形成する。方程式が根号で解ける(可解である)ためには、この群が特定の構造(可解群)を持つ必要がある。5次方程式に一般解がない理由は、5個の文字の全置換群が可解群でないことで説明される。

この発想の転換は数学の方法論に革命をもたらした。対象(方程式の解)を直接扱うのではなく、対象の対称性を記述する構造(群)を調べるという視点は、形式体系の研究が記号の意味ではなく推論規則の構造を問うのと似た抽象化の跳躍だ。

現代代数学の基礎

ガロアが創った群論は、現代代数学の根幹となった。群・環・体という代数的構造の分類、さらにはリー群・表現論・代数幾何学へと発展し、物理学の対称性理論にも深く浸透している。素粒子物理学の標準模型も、群論の言語で記述される。

不完全性定理がゲーデルによって証明されたように、数学には「証明できるかどうかを問う」メタなレベルがある。ガロアの発想はある意味でこれと通底している——「解けるか」という問いを、解法の手順ではなく構造的な可能性として問い直した。問題を解くことと問題の解決可能性を問うことは、異なるレベルの探求だ。

遺産

ガロアが21歳で残した洞察は、ラングランズ・プログラムにおいても「ガロア表現」として中心的役割を担っている。フレンケルは同書で、ガロアの思想がラングランズ対応の一方の柱を形成していることを詳述している。一人の若者が牢獄と決闘の前夜に書いた数学が、150年後の最前線で生き続けている——それがガロア理論の持つ普遍性の証拠だ。

ガロア理論の拡張

ガロア理論の発想——対象そのものではなく対称性の構造を調べる——は、現代数学の様々な場面で繰り返し登場する。グロタンディークはガロアの仕事を「数学の歴史で最も革命的なものの一つ」と評し、代数幾何学における基本群の類似をガロア理論の言語で定式化した。

対称性という概念が問題の解決から問題の分類へと数学の問いの形を変えた——その転換がガロア理論から始まった。問題を解くよりも問題の「解けるかどうか」を問う視点は、20世紀の数学が最も豊かに発展させた問いの形式の一つだ。

この概念を扱う本

概念ネットワーク

線の太さは共通する本の数を表しています。ノードをクリックすると概念ページに移動します。

この概念を扱う本(1冊)

数学の大統一に挑む
数学の大統一に挑む

エドワード・フレンケル

80%

ラングランズ対応の片方の柱「ガロア表現」の出発点として登場する。著者は若くして決闘で亡くなったガロアの悲劇的な生涯にも触れながら、その思想の革命性を描く。