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

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

2020-08-11から1日間の記事一覧

群論の計算(41)

3次方程式の冪根による解法で使えるかもしれないので3次の場合を書いておきます。内容は前の項と同じです。 対称式の基本定理(3次の場合) を体とします。 を 上の多項式環の商体(有理関数体) とおきます。 の対称群 の元 を 上の代数の同型 に拡張した写像全…

群論の計算(40)

ここでは計算を簡単にするために対称式の基本定理をもう一度見てみます。 対称式の基本定理 を体とします。 を 上の多項式環の商体(有理関数体) とおきます。 の対称群 の元 を 上の代数の同型 に拡張した写像全体の集合を とします。 上の多項式 の係数 を …