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

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

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

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

一般マグマの多項式の等式の合成(2) 続いて単位元をもつマグマの準同型についても見ていきます。 単位元をもつマグマの準同型(1) 第1段階 等式の集合 \begin{cases} \mathrm{eq}_{1}: & x & \mapsto & e x & = & x \\ \mathrm{eq}_{2}: & x & \mapsto & x e'…

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

一般マグマの多項式の等式の合成(1) 書き換え規則 に対して、 とします。 を等式と考えます。これを と書くことにします。書き換え規則の合成を等式の合成に書き直すことができます。書き換え規則 、 に対して書き換え規則の集合の合成 を考えると、 となり…