『数学ガール ガロア理論』の第10章(最終章)がそれまでの章に比べて難しくて挫折するという感想がけっこうあるようなので、その補足的な解説を試みます。『ガロア理論』第10章はガロアの第一論文を解説しているので、解説の解説ということになります。 定理4までと定理5を分ける第10章でおこなわれるガロアの第一論文の説明は、 補題1→補題2→補題3→補題4→定理1→定理2→定理3→定理4→定理5と進んでいきますが、ミルカさんはその途中で何度も、ガロアの第一論文のテーマが「方程式が代数的に解ける必要十分条件」であることを確認します。 なぜ何度も確認するかといえば、最後の定理5(方程式が代数的に解ける必要十分条件)以外は、一見したところでは「方程式の可解性」に関わることが見て取れないので、途中で確認を入れないと簡単に道に迷ってしまうからでしょう。定理2(≪方程式のガロア群≫の縮小)や定理3(補助方程式の