computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ここでは環上の多項式環に対応するものについて考えてみます。これは Prolog の実行順序の説明で必要となります。まず「群論の計算」の記事で説明した環上のモノイド代数についてもう一度説明します。 環上のモノイド代数 ここでは半環の場合も含めて考えます。半環の場合は半環上のモノイドフラクタル代数と呼ぶことにします。 を単位元を持つ自明ではない半環、 をモノイドとします。 とおきます。 に二項演算、加法 と乗法 ( を と書くこともあります)を と定義します。乗法は 、 であるものの和として定義します。以下のように は単位元を持つ自明ではない半環となります。 加法の結合法則、交換法則 加法の結合法… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F08%2F25%2F222508" title="半環上のフラクタル代数(5) - 非専門的シンギュラリティー研究所" 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%5Cmathbb%7BN%7D%20%5Cto%20X Hatena Blog https://hatena.blog 2020-08-25 22:25:08 rich https://computeralgebra.hatenablog.com/entry/2020/08/25/222508 1.0 100%