モノイドの左逆元・右逆元 をモノイド( は単位元)とします。 (L) に対して、 であるような を の左逆元と呼びます。 (R) に対して、 であるような を の右逆元と呼びます。 が左逆元 と右逆元 を持つならば、 となります。 [証明] (L)より (R)より よって結…

ここでは「項書き換え」のような方法で群、モノイド、半環やリー代数に関する証明を行ってみます。「項書き換え」については[1][2]の本を持っていたのですが見当たらないので、ウェブに同様の記事があったのでそれを参考にします。本来の「項書き換え」では…