The Significance of Proposition II in Galois' Mémoire, The Origin of Galois Automorphisms

数学の秘密の言語

あなたは、巨大で宇宙的なジグソーパズルを解こうとしていると想像してください。しかし、そのピースは謎の機械によってかき混ぜられた「数」です。この機械とは、多項式方程式、つまり特定の数である「根（ルート）」を吐き出す数学的なレシピのことです。何世紀もの間、数学者たちは一つの問いに執着してきました。「これらの根がどのように共に踊るのかを予測できるだろうか？ もし一つの根を知れば、他の根を導き出せるのだろうか？」と。この研究分野は代数学であり、特にガロア理論として知られる分野です。それは、メンバー（根）たちが互いに作用した時にのみ、真の正体を明かす秘密のクラブのルールを理解しようとする試みに似ています。

この論文の物語を理解するには、二つの主要な登場人物を知る必要があります。第一に「分解体（splitting field）」です。これは、単に「すべてのパズルのピースが完璧に収まる最小の部屋」を意味する格好の良い言い回しです。第二に「対称性（symmetries）」です。根をダンサーだと想像してください。対称性とは、音楽（方程式）を壊すことなく、ダンサーを入れ替えることができる動きのことです。もし二人のダンサーを入れ替えても曲が同じように聞こえるなら、それは対称性です。これから探求する論文は、これらの対称性がどのように組織されているかという200年前の謎に深く切り込み、天才的な若き数学者エヴァリスト・ガロアが、仕事を完成させる前に決闘で命を落とす前に残した、書き置きのコードを解読しようとしています。

---

原稿の中に潜む亡霊

この論文は、現代の数学者マット・ディッカーによって書かれた探偵小説です。彼は、1830年にエヴァリスト・ガロアが残した未完のパズルを解こうとしています。ガロアは非常に若くして亡くなった天才であり、彼の最後の原稿の中で、彼は次のような有名な、胸を締め付けるようなメモを残しました。「この証明には、完成させるべき何かがある。私には時間がない。」彼は「命題II」、つまり、方程式がいかにして分解されるかについての深い秘密を示唆しているように見える、彼の研究の特定の部分について話していました。しかし、彼はそれを書き記す時間がなかったのです。

2世紀近くもの間、数学者たちは、ガロアがその未完の思考によって正確に何を意味していたのかを突き止めようとしてきました。この論文は、ついにガロアの議論の欠けているピースを再構築することを主張しています。著者は単に推測するのではなく、現代の数学的ツールを用いて空白を埋め、ガロアが最初から正しかったことを証明しています。この論文は、ガロアの「置換（permutations）」（物事を入れ替えること）と「代入（substitutions）」（物事を置き換えること）に関する元のアイデアが、実は現代の概念である「自己同型写像（automorphisms）」（構造を維持する数学的な変換）と同じであることを確立しています。それは、長い間見つめ続けてきた扉をようやく開ける、失われた鍵を見つけるようなものです。

根のダンス

ガロアが何を言おうとしていたのかを理解するために、ある特別な数、$V$ を持っていると想像してください。この数は、方程式のすべての根が混ざり合ったもので、あらゆるフルーツの破片で作られたスムージーのようなものです。ガロリは、もしフルーツの破片をさまざまな方法で入れ替えると、異なるバージョンのスムージーができることに気づきました。これらのバージョンを $V_1, V_2, V_3$ などと呼びましょう。

ガロアはある奇妙なことに気づきました。これらのスムージーのバージョンのグループを取り出し、それらを入れ替えると、一つのパターンを形成します。彼はこのパターンを groupe de permutations（置換群）と呼びました。しかし、ここがトリッキーな点です。ガロアはまた、groupe de substitutions（代入群）についても語っていました。現代数学において、「群（グループ）」とは、ルールを壊すことなく特定のやり方で組み合わせることができるものの集合です。ガロアの大きな洞察は、これらの入れ替えのグループは単にランダムなのではなく、場（数字が住む「部屋」）と非常に特定的な方法で結びついているということでした。

この論文は、巨大で複雑な方程式（$V$ の最小多項式）がいかにして、より小さく単純な方程式へと分解されるかを説明しようとしています。それは、巨大なケーキを小さなピースに切り分けるようなものです。論文は、ケーキの切り分け方が「入れ替えのグループ」をどのように配置するかによって決まることを証明しています。

左か右か：ケーキの二つの切り分け方

この論文で最もエキサイティングな部分は、「左」と「右」の入れ替えの整理方法の違いを明確にしている点です。ダンサーの集合があり、彼らをグループ化したいと想像してください。

1. 正しい方法（右剰余類 / Right Cosets）: ダンサーを右方向に動かしてグループ化する場合、結果として得られるすべてのダンサーのグループは、同じ「クラブ」（同じ中間体）に属することになります。このようにケーキを切り分けると、すべてのスライスが同じ味になります。論文は、この方法を用いた場合、より小さな方程式における係数（数字）はすべて、同じ特定の部屋に住むことになることを示しています。
2. 左の方法（左剰余類 / Left Cosets）: ダンサーを左方向に動かしてグループ化する場合、得られるグループは異なります。それぞれのグループは、異なる、しかし関連のある「クラブ」（共役体）に属します。このようにケーキを切り分けると、スライスは異なる味になりますが、それらはすべて親戚同士です。論文は、これこそがガロアが未完のメモで示唆していたことであると説明しています。すなわち、大きな方程式はより小さな方程式へと分解されますが、それらの小さな方程式の中の数字は、異なる、関連する部屋に住んでいるのです。

論文は、方程式 $x^3 - 2 = 0$ を用いた具体的な例を用いて、これを実際に示しています。それは実際の数値を計算し、「左剰余類」を用いて根をグループ化すると、係数が $\mathbb{Q}(\sqrt[3]{2})$、$\mathbb{Q}(\omega\sqrt[3]{2})$ などの体（フィールド）に含まれる多項式が得られることを証明しています。これらは異なる体ですが、すべては繋がっています。これは、方程式の構造がこれらの異なる部屋の隠された地図を明らかにしているという、ガロアの直感を裏付けるものです。

代入から自己同型写像へ

この論文の主な目的の一つは、ガロアの古い言語を私たちの現代の言語に結びつけることです。ガロアは、根を入れ替えることを記述するために「代入（substitution）」という言葉を使いました。今日、私たちはこれらを「自己同型写像（automorphism）」と呼んでいます。論文は、ガロアが記述した「代入」が、現代のガロア理論で使用される「自己同型写像」と全く同じであることを証明しています。

それは、「馬車」と「自動車」がどちらも同じ仕事（A地点からB地点へ運ぶこと）をするということに気づくようなものです。論文は、ガロアの「代入」が私たちの現代の「自己同型写像」の先祖であることを示しています。それは、これらの代入が単なるランダムな入れ替えではなく、方程式の構造を維持する厳格な数学的ルールであることを証明しています。論文は、これらの代入が体の自己同型写像であること、つまり、それらがガロア群の「公式な」メンバーであることを示す直接的な証明さえも提供しています。

しかし、論文はまた、すべての入れ替えが有効な自己同型写像であるわけではないという警告もしています。方程式 $x^4 - 2 = 0$ を用いた例を挙げています。もし、特定の（本来一緒にすべきでない）根を入れ替えるような「間違った」方法で根を入れ替えようとすれば、方程式のルールを破ってしまうことを示しています。論文は、ランダムな入れ替えのすべてが対称性であるという考えを明確に否定しています。ガロア群に属する特定の入れ替えだけが、真の自己同型写像なのです。

最終的な結論

では、この論文は実際に何を見出したのでしょうか？ それは新しい方程式や新しい数を発見したわけではありません。代わりに、それは200年前の原稿に対する翻訳者および校閲者の役割を果たしました。それは、ガロアの「命題II」に関する不完全で不可解なメモを取り上げ、厳密な論理によって欠けているステップを埋めたのです。

論文は、ガロアの「置換のグループ」に基づいて方程式を因数分解するというアイデアが、数学的に妥当であることを証明しています。それは以下のことを確認しています：

• ガロアが記述した「置換のグループ」は、実際には「剰余類（cosets）」（群の特定の配置）であること。
• これらの配置が、方程式の因数分解の仕方を決定すること。
• 「右剰余類」を使用する場合、因子は同じ体に属すること。
• 「左剰理類」を使用する場合、因子は異なる、しかし関連した（共役な）体に属すること。
• ガロアの「代入」は、まさに現代の「自己同型写像」であること。

著者たちは、単なる推測ではなく形式的な証明を提供しているため、これらの結論に非常に自信を持っています。彼らは、ガロアの直感が正しかったことを示しています。たとえ彼に、その完全な説明を書き記す時間がなかったとしてもです。この論文は、「文字を入れ替える」という19世紀的な考え方と、「体を変換する」という現代的な考え方の間の溝を埋め、それらがコインの表裏であることを示しています。

結局のところ、この論文は、死ぬ前に数学の新しい世界の形を見出した、あの若き天才への賛辞なのです。それはこう言っています。「私たちは聞こえましたよ、ガロア。あなたの証明を完成させました。あなたは正しかった。」それは、一つの原稿の断片を、数字がいかにして踊り、入れ替わり、代数学という壮大なパズルのなかで完璧に組み合わさっていくのかを描いた、完全で美しい物語へと変えているのです。