\(\newcommand{\field}[1]{\mathbb{#1}}\newcommand{\Q}{\field{Q}}\newcommand{\C}{\field{C}}\newcommand{\Gal}[1]{\operatorname{Gal}(#1)}\renewcommand{\dotsc}{\cdots}\newcommand{\zettaiti}[1]{\lvert #1 \rvert}\)以前の、可約な方程式の解を実際にべき根で求める手順で、ガロア理論の「中間体と部分群の１体１対応」を利用する所にはまだ遠回りしている箇所があった。そこでは、群の第二準同型定理なんていうものを利用していたが、ここはもっとはるかに簡単にカタがつくことだった。ガロア理論をちゃんと血肉としている人から見れば当たり前のことなのに、それにまったく気づいていないというお恥ずかしい話だった。
この記事も、ぎりぎり2020年中に書き終わってはいたのだが、こうやって公開するのは結構遅くなってしまった。