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

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

2020-04-11から1日間の記事一覧

群論の計算(12)

環上の加群 を環とします。アーベル群 とスカラー乗法 が以下の条件を満たすとき を 上の加群と呼びます( を と書きます)。 が体のとき 上のベクトル空間と呼びます。 環上の代数 を環とします。環 に対して環の準同型 があるとき を 上の結合代数と呼びます…