>>409 A n次正方行列のとき
 AB=BA=Iなるn次正方行列が存在するとき
 Aを可逆という。