computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 群論 リー代数 エレファントな群とリー代数 モノイドの左逆元・右逆元 をモノイド( は単位元)とします。 (L) に対して、 であるような を の左逆元と呼びます。 (R) に対して、 であるような を の右逆元と呼びます。 が左逆元 と右逆元 を持つならば、 となります。 [証明] (L)より (R)より よって結合法則より [証明終わり]これも「マグマの左単位元・右単位元」と同様に変形していくことができます。 を で生成された自由マグマとします。書き換え規則は \begin{cases} \rho_{1} & = & ( & x, y, z & \mapsto & (x \cdot y) \cdot z & \to & x \cdo… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F08%2F11%2F215318" title="エレファントな群とリー代数(2) - 非専門的シンギュラリティー研究所" 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-11 21:53:18 rich https://computeralgebra.hatenablog.com/entry/2021/08/11/215318 1.0 100%