正則行列
n 次単位行列を En や E で表す。 環の元を成分にもつ n 次正方行列 A に対して、
A B = E = B A {\displaystyle AB=E=BA}
を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列(ぎゃくぎょうれつ、英: inverse matrix)と呼び、A と表す。