一般的に、モノイドの要素が右逆元を持っても左逆元を持つとは限りません。これは正しいのですが、ある特定のモノイドをとったときには、右逆元の存在が左逆元の存在を導くことはあります。n次正方行列の掛け算のモノイドは、「右逆元の存在から左逆元の存在…