computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 群論 リー代数 エレファントな群とリー代数 一般マグマの多項式の単一化アルゴリズム(2) この項目の内容は「一階の項」の理論と内容は同じものになると思われます。書き方を変えることで極限や普遍性について考えるときに多項式の考え方が使えると思うのですが、今のところどうなるかわかりません。前回の の定義は、 を固定しても、変化させても定義できるのですが、両方が混じっていたので変化させるように書き直します。また、記述が複雑になってしまったので を として書き直します。 の という形の元の全体を とします。すると、 となります。 とします。 を置換全体の集合とします。 を の部分項として現れる の元全体の集合とします。、 ( は失敗を表す)を(場… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F08%2F30%2F204926" title="エレファントな群とリー代数(10) - 非専門的シンギュラリティー研究所" 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/41aPNX6MtYL._SL500_.jpg Hatena Blog https://hatena.blog 2021-08-30 20:49:26 rich https://computeralgebra.hatenablog.com/entry/2021/08/30/204926 1.0 100%