20/08/15 11:15:07.05 I4zLJ0eW.net
>>300 補足
>>311のように、モノイドでは
gz・f = idS （idSは単位元）
でも
f・gz ≠ idS （解答記載の通り）となる
例が存在する。
では、群ではどうか？
>>300より
AX = E のとき，XAを考えると
XA＝XEA＝X(AX)A＝X(AX)A＝(XA)(XA)
において
群では、最低限、右又は左逆元の存在が保障されているから
例えば、XAの右逆元をXA^-1R として、これを右からかけると
上記左辺は、(XA)(XA^-1R)＝E
上記右辺は、(XA)(XA)(XA^-1R)＝(XA){(XA)(XA^-1R)}＝XA
よって、E＝XA （即ち、XA＝E ）
よって、Aの右逆元Xが存在すれば、それは左逆元でもある
同様に、（群の場合）左逆元Xから、それが右逆元であることも、導ける
以上