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

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

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

群論の計算(21)

体上の多項式環(4) 一意分解整域上の多項式環 を環とします。 が の素元であれば、 は多項式環 の素元となります。[証明] 、、 とします。 のとき となって となります。 は素元なので または となります。よって または となります。 のとき成り立っている…