computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 群論 リー代数 エレファントな群とリー代数 群の性質 本[1][2]の中で「群の完備化」として、群の定義の一部から出発して完備な書き換え規則を得る手順が書かれています。こちらの私のサイト http://www2.biglobe.ne.jp/~optimist/algebra/word_2.html でもやっているのですが、本では有限回で終了して完備な書き換え規則が自動的に得られるようにできると書かれていますが具体的な方法がわからないので、私のサイトでは自動的にはできません。「群の完備化」については「クヌース・ベンディックス完備化アルゴリズム」でできるということで、これについてはまた後で調査したいと思います。ここでは「マグマの左単位元・右… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F08%2F12%2F225810" title="エレファントな群とリー代数(3) - 非専門的シンギュラリティー研究所" 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-08-12 22:58:10 rich https://computeralgebra.hatenablog.com/entry/2021/08/12/225810 1.0 100%