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

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

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

群論の計算(33)

体と自己同型写像(7) またしばらくは本に沿って進めていきますが、その前に少し定義を書き直しておきます。 定義 ガロア群 は を含む体とします。 の最小分解体 の 上の自己同型群を のガロア群と呼び と表します。 定義 ガロア拡大 体 を体 の有限拡大(拡大…