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

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

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

群論の計算(39)

正規拡大・原始元の存在定理 ここでいったん正規拡大などの議論を考え直してみます。『現代代数学』*1、『代数学』*2 を参考にしています。復刊版があるようです。 (現代代数学) 定理 30.6 を半群 から体 の乗法群への相異なる準同型とします。このとき ()で…