2021-01-28から1日間の記事一覧
整数の素数の積への分解 を整域、 を の単項イデアル全体の集合とします。 で生成された単項イデアルを と書きます。 だけからなるイデアルを と書き、イデアル だけからなる集合を と書くことにします。 (E2) 、、 ならば (ユークリッド関数の条件(2)*1と同…
自由生成可換モノイド 可換モノイド (演算を と書きます)の部分集合 は以下の条件 (F1) を満たすとします。 (F1) 、、 ならば、任意の に対して が存在して、 となって、 から を除いたものを 、 から を除いたものを とすると、 となります。 可換モノイド …