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

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

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

群論の計算(11)

体 集合 と 上の2つの二項演算、加法 と乗法 の組 が はアーベル群(単位元) は可換なモノイド(単位元)で はアーベル群 乗法は加法の上に分配的、すなわち であるとき を体と呼びます。すなわち は単位元を持つ環 はアーベル群 であるとき を体と呼びます。通…