computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 半環について考える前に、半群についてもう少し考えてみます。集合 によって自由生成された自由半群 は の元からなる1個以上有限個の文字列の全体として定義することができます。集合 によって自由生成された自由モノイド は の元からなる0個以上有限個の文字列の全体として定義することができます。単位元を持たない半群 に対して、集合の直和 に以下のように積を定義します。 に対して として、それ以外の積は の積とします。このように定義すると はモノイドとなります。半群 上の同値関係 が任意の に対して 、 ならば となるとき、同値類の全体は( の同値類を と書くと) と積を定義すると半群になります。半群 と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F03%2F223208" title="論理計算と随伴関手(4) - 非専門的シンギュラリティー研究所" 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=%20%28G%2C%20%5Ccdot%29 Hatena Blog https://hatena.blog 2020-02-03 22:32:08 rich https://computeralgebra.hatenablog.com/entry/2020/02/03/223208 1.0 100%