\(\DeclareMathOperator{\Gal}{Gal}\)
前回の \(\text{(I)} \implies \text{(IV)}\) の証明の step.1 で、群論の予備知識を借用した所、方程式論とガロア理論の知識で解決できることがわかった。と言ってもスッキリした議論にはならなかったので証明としては「群論の予備知識をまず習得して…」という流れの方が優れていると思うが、一応紹介しておく。（もちろん、主な動機は自己満足（笑））
\(\DeclareMathOperator{\Gal}{Gal}\)
前回の \(\text{(I)} \implies \text{(IV)}\) の証明の step.1 で、群論の予備知識を借用した所、方程式論とガロア理論の知識で解決できることがわかった。と言ってもスッキリした議論にはならなかったので証明としては「群論の予備知識をまず習得して…」という流れの方が優れていると思うが、一応紹介しておく。（もちろん、主な動機は自己満足（笑））