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

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

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

群論の計算(20)

体上の多項式環(3) 整域 を自明ではない単位元を持つ可換環とします(以下、環というときは自明ではない単位元を持つ可換環を指すものとします)。任意の に対して ならば または であるとき、 を整域と呼びます。体は整域となります。整数全体からなる環 は整…