computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 群論 リー代数 エレファントな群とリー代数 一般マグマの多項式の書き換え規則の合成 「環の演算」(これはスマートフォンで使えるように以前のものを少し書き直しました)での式の合成の説明をする準備ができました。これを説明する前に、まず書き換え規則の合成について考えます。ある代数的構造を等式の集合で書いたとき、その等式「任意の に対して 」に対して書き換え規則 と を考えます。このようにして代数的構造の定義を書き換え規則の集合で書くことができます。二つの書き換え規則 と を合成することを考えます。 を環の演算から作られる一般マグマとします。 とおきます。一般マグマの多項式の最汎単一化子を得る写像を とします。 の部分項の位置 の部分項を 、 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F10%2F03%2F134924" title="エレファントな群とリー代数(12) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51VOXBWkM6L._SL500_.jpg Hatena Blog https://hatena.blog 2021-10-03 13:49:24 rich https://computeralgebra.hatenablog.com/entry/2021/10/03/134924 1.0 100%