jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 今回の話はアルゴリズムは単純で、\(S_n\)の可移部分群を全部求めて、１つづつガロア群かどうかテストしているだけです。当然\(n=6\)でも動作するはずです。 というわけでやってみました。GAPでこの群を求めるのは高速ですが、\(S_6\)の場合、数が279個に増えます。それと、浮動小数点で計算する際の精度は今回3000桁にしています。 以下に直接Jupyter notebookの様子を貼り付けました。ノートブックの最初のセルの最初の方は可移部分群の定義です。最後の30行くらいがガロア群を求めるコードになります。 その下の方に、ネット検索で6次方程式のガロア群を扱った論文から、例題に取り上げ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2021%2F05%2F29%2F081936" title="-数学- SympyとGAPで可移部分群の条件から6次方程式のガロア群を高速に求める(4) - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-05-29 08:19:36 rich https://maxima.hatenablog.jp/entry/2021/05/29/081936 1.0 100%