computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ブール代数(可補分配束)の非可換であるようなものを考えます。 自由モノイド 集合 で生成される自由モノイドを または とします。 は文字の集合 から作られる文字列全体の集合と見ることができます。空文字列が単位元となります。 の元を1つの文字からなる文字列と考えると、 と考えることができます。 を からモノイド への写像 とします。 の演算を 、 の演算(文字列の連結)を で表すことにします。 は という形の列全体の集合となります。 の元 に の元 を対応させる写像は、モノイドの準同型 となります。モノイド に対する を考えます。 の演算を 、 の演算(文字列の連結)を で表すことにします。 は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F08%2F27%2F234448" title="半環上のフラクタル代数(6) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20R%5BM%5D Hatena Blog https://hatena.blog 2020-08-27 23:44:48 rich https://computeralgebra.hatenablog.com/entry/2020/08/27/234448 1.0 100%