20150804

a が 0 でも 1 でも -1 でもない整数の時, どの整数 b に対しても aba≠a.
群の元 a に対して同群のある元 b が存在し, aba=a, 同群の b でない元 c では aca≠a.
半群で aが吸収元 の時, 同半群のどの元 b に対しても aba=a.
行列になると可逆元でも吸収元でもないものがあるから複雑になるが, ある制限を付けると一般逆行列は一意に決まる.