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

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

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

群論の計算(35)

体と自己同型写像(9) さらにまた少し定理を書き直していきます。 定理 5.32 を体とします。 を の有限拡大体とします。 を と の任意の中間体とすると が成り立ちます。[証明] は 上のベクトル空間となります。その次元を とし、 を基底とします。 となりま…

群論の計算(34)

体と自己同型写像(8) また少し定理を書き直していきます。 定理 5.9 を体とします。 を 上の 次既約多項式、 を の異なる根であるとすると を満たし 上では恒等写像であるような から への同型写像 が存在します。[証明] とおき、 を 上の代数の準同型で 、 …