エヴァリスト・ガロア(Évariste Galois)

この人は?

エヴァリスト・ガロア（Évariste Galois, 1811年10月25日 - 1832年5月31日）は、フランスの数学者であり革命家である。フランス語の原音（IPA: [evaʁist ɡalwa]）に忠実に「ガロワ」と表記されることもある。 数学的業績 数学者として10代のうちにガロア理論の構成要素である体論や群論の先見的な研究を行った。ガロアはガロア理論を用い、ニールス・アーベルによる「五次以上の方程式には一般的な代数的解の公式がない」という定理（アーベル-ルフィニの定理）の証明を大幅に簡略化し、より一般にどんな場合に与えられた方程式が代数的な解の表示を持つかについての特徴付けを与えた。また、数学史上初めて圏論的操作によって自らの理論の基礎を構築している。 群論は数学の分野において重要であるだけでなく、数学以外、例えば物理学では相対性理論や量子力学などを厳密に（形式的に）記述するツールとして用いられる。また、計算機科学、特に理論計算機科学においてガロア体、特に位数2のガロア体 F2 は最も多用される数学的ツールのひとつである。 このように代数学で重要な役割を果たす「ガロア理論」は、現代数学の扉を開くとともに、20世紀、21世紀科学のあらゆる分野に絶大な影響を与えている。しかし、ガロアの業績の真実と重要性、先見性は当時世界最高の研究機関であったパリ科学アカデミーを初め、ガウスやコーシー、ヤコビと言った歴史に名を残した同時代の偉大な数学者達にさえ理解されず、生前に評価されることはなかった。群論の基礎概念とも言える集合論がゲオルク・カントールによって提唱され、「ガロア理論」へと通じる数学領域が構築されるのでさえ、ガロアによるガロア理論構築の50年も後のことである。 ガロアの遺書となった友人宛の手紙には、後の数学者たちにとって永年の研究対象となる理論に対する着想が「僕にはもう時間がない」 (je n'ai pas le temps) という言葉と共に書き綴られている。 例えば、代数的には解けない五次以上の方程式の解を与える、楕円モジュラー関数による超越的解の公式の存在をガロアは予言し、そのアイデアを記している。なお、この手法はガロアの死後50年の時を経てシャルル・エルミートによって確立される。