エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-07-21から1日間の記事一覧

群論の計算(38)

根が冪根で表すことができるならばガロア群は可解群 この項は『今度こそわかるガロア理論』*1 も参照しています。 定理 6.2 を含む体 のガロア拡大体 のガロア群を とします。 が可解群である は累巡回拡大である 定理 6.4 を の原始 乗根とします。 は を含…