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

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

2020-03-25から1日間の記事一覧

群論の計算(2)

正規部分群 写像による分類 写像 と に対して と定義します。 に対して と定義します。注意:通常は に対して 、 に対して 、 に対して と定義するのですが、 の のところ、 の のところが1つの元の場合と集合の場合の区別ができないため、ここでは違う書き…