computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 人工知能的代数学 ChatGPT モノイドの左逆元・右逆元(4) いったんプログラムの説明を書いて、その説明を元に説明を書いてもらうことにします。変数の全体 と定数の全体 で自由生成された半群を とおきます(変数は大文字から始まる文字列、定数は小文字から始まる文字列、演算子は とします)。変数の重複を避けるため、変数は可算個あるとします。 を拡張して半群の準同型 とすることができます。 を拡張した半群の準同型 の全体を とおきます。「 を に変換する規則」 に対応する写像 ( は のべき集合)を以下のように定義します。まず と に現れる変数をどこにも現れていない変数で置き換えたものを と とします。 を満たす が存在するとき、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F06%2F15%2F201340" title="人工知能的代数学(15) - 非専門的シンギュラリティー研究所" 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/41+CZpLpRWL._SL500_.jpg Hatena Blog https://hatena.blog 2024-06-15 20:13:40 rich https://computeralgebra.hatenablog.com/entry/2024/06/15/201340 1.0 100%