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

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

2021-08-18から1日間の記事一覧

エレファントな群とリー代数(5)

群の性質(2) 今回は群の性質の続きを調べていきます。 前回の結果 「エレファントな群とリー代数(3)」では書き換え規則の集合 \begin{cases} \rho_{1} & = & ( & x & \mapsto & e x & \to & x & ) \\ \rho_{2} & = & ( & x & \mapsto & x & \to & e x & ) \\…