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

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

2021-01-16から1日間の記事一覧

エレファントな整数論(13)

整域 の素元全体の集合を 、既約元全体の集合を とします。 によって( の乗法によって)生成されたモノイドを とおきます。 のイデアル全体の集合を とおきます。 を とします。 を と書きます。 に対して を と書きます。 のとき を一意分解整域と呼びます。…