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

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

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

群論の計算(27)

体と自己同型写像(1) ここからは『ガロア理論の頂を踏む』に従って証明を見ていき、体上の代数の同型を使って証明が書けるところは書いていきたいと思います。前に書いた証明と同じ内容になってしまう場合もあります。 定理 5.1 が体 から体 への同型写像で…