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

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

2020-05-26から1日間の記事一覧

群論の計算(28)

体と自己同型写像(2) 、 は体で とします。 が で と因数分解されるとします。このとき を の 上の最小分解体と言います。 の最小分解体の 上の自己同型群のことを の 上のガロア群と呼びます。最小分解体を すると と表します。 定理 5.23 、 は体で としま…