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

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

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

群論の計算(18)

ここでは複素数の説明のために体上の多項式の説明をします。 (『可換環論の勘どころ (数学のかんどころ)』*1 を参考にしています)ここでは、自明ではない単位元を持つ可換環のことを単に環ということにします。 体上の多項式環(1) 環上の多項式環のところで…