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

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

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

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

整数の素数の積への分解 を整域、 を の単項イデアル全体の集合とします。 で生成された単項イデアルを と書きます。 だけからなるイデアルを と書き、イデアル だけからなる集合を と書くことにします。 (E2) 、、 ならば (ユークリッド関数の条件(2)*1と同…

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

自由生成可換モノイド 可換モノイド (演算を と書きます)の部分集合 は以下の条件 (F1) を満たすとします。 (F1) 、、 ならば、任意の に対して が存在して、 となって、 から を除いたものを 、 から を除いたものを とすると、 となります。 可換モノイド …