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

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

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

群論の計算(22)

体の代数拡大(1) を体とします。 が の演算と 、 に関して体となっているとき の部分体と呼びます。 を の拡大体と呼びます。この関係にある体の組 を と表します。これを体の拡大と呼びます。 は の演算によって体 上の代数となります。 の 上のベクトル空…