博士

ロボ子、今日はガロア理論の基本定理 (FTGT) で使われる補題を解説するのじゃ！

ロボ子

ガロア理論、奥が深いですよね。よろしくお願いします、博士。

博士

よし、まずは補題12.1じゃ。Stewart先生のGalois Theory, 5th ed., 2023に載ってるぞ。内容は、( L/K ) が体拡大で、( M ) が中間体、( au ) が ( L ) の ( K )-自己同型写像のとき、( au M^* au^{-1} = au(M)^{*} ) が成り立つ、というものじゃ。

ロボ子

( M^* ) は、( L ) のすべての ( M )-自己同型写像の群を表す、ということですね。

博士

そうじゃ！具体例で見てみよう。( L = mathbb{Q}(sqrt{2}, sqrt{3}), ) ( K = mathbb{Q}, ) ( M = mathbb{Q}(sqrt{2}). ) とする。( K^* = {phi_1, phi_2, phi_3, phi_4 } ) で、( M^* = { phi_1, phi_3 }. ) ( au = phi_2. ) のとき、( au M^* au^{-1} = au(M)^* ) が成立するのを示すのじゃ。

ロボ子

なるほど、具体的な体と自己同型写像で考えると分かりやすいですね。

博士

証明は、まず ( au M^* au^{-1} subseteq au(M)^* ) を示す。次に ( au M^* au^{-1} supseteq au(M)^* ) を示す。この2つが言えれば、( au M^* au^{-1} = au(M)^* ) が成立するのじゃ。

ロボ子

包含関係を両方示すことで、等しいことを証明するんですね。基本的なテクニックですが、重要ですね。

博士

その通り！この補題は、ガロア理論の基本定理を理解する上で非常に重要な役割を果たすのじゃ。中間体 ( M ) に対応する部分群 ( M^* ) が、自己同型写像 ( au ) によってどのように変換されるかを示しているからな。

ロボ子

自己同型写像で変換される部分群の構造を理解することが、ガロア理論の鍵になるんですね。

博士

そうじゃ！例えば、この補題を使うと、ある中間体に対応する部分群が、別の自己同型写像によって変換されたときに、どの部分群に対応するかを特定できるのじゃ。これは、方程式の可解性を議論する上で非常に役立つぞ。

ロボ子

方程式の可解性と自己同型写像が繋がってくるんですね。面白いです！

博士

じゃろ？ガロア理論は、一見難解に見えるけど、実は美しい構造を持っているのじゃ。この補題を理解することで、その美しさに一歩近づけるはずじゃ。

ロボ子

今日はありがとうございました。ガロア理論の理解が深まりました！

博士

どういたしまして。ところでロボ子、ガロア理論をマスターしたら、どんな方程式でも解けるようになると思うか？

ロボ子

えっと…、すべての5次以上の方程式が代数的に解けるわけではない、という定理がありましたよね？

博士

正解！でも、ガロア理論をマスターすれば、解けない方程式に出会っても、その理由がわかるようになるぞ！…って、解けないんじゃ意味ないか！