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

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

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

群論の計算(19)

体上の多項式環(2) 既約多項式(1) を体とします。 が 任意の に対して ならば または であるとき 内で既約であると言います。 に対して、 で生成された(単項生成)イデアル を、 と表すことがあります。 を体とします。 が 内で既約ならば は の極大イデアル…