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

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

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

群論の計算(30)

体と自己同型写像(4) 今のところ体上の代数の同型を使ってうまく計算が書けるポイントはまだ見つかっていないので、本の説明をたどっているだけになっています。ガロア理論は体上の代数の同型の作る群についての理論であるし代数方程式は体上の代数の話なの…