正則行列

正則行列（せいそくぎょうれつ、）、非特異行列（ひとくいぎょうれつ、）あるいは可逆行列（かぎゃくぎょうれつ、）とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。例えば、複素数体上の二次正方行列
が正則行列であるのは が成立するとき、かつ、そのときに限る。このとき逆行列は
で与えられる。
ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群は線形代数群あるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。
定義.
 次単位行列を や で表す。 
環の元を成分にもつ 次正方行列 に対して、
を満たす 次正方行列 が存在するとき、 は 次正則行列、あるいは単に正則であるという。 が正則ならば上の性質を満たす は一意に定まる。
これを の逆行列（ぎゃくぎょうれつ、）と呼び、 と表す。
例.
次の複素数体の元を成分にもつ行列 を考える。
このとき を満たすので、 は正則行列で、 は の逆行列である。
一方、 に注目すれば も正則行列で、 は の逆行列である。
また次の行列 は逆行列をもたないので、正則ではない。
特徴づけ.
体の元を成分にもつ 次正方行列 に対して次は同値である。
性質.
 次正則行列 、 について次が成り立つ。
判定法.
行列の正則性は行列の基本変形を使って判定できる。
具体的な逆行列の計算には、基本変形を使って順に掃き出していく方法がよく使われる。
一方で、理論的には行列式を使ったクラメルの公式も重要である。
しかしこの方法は逆行列を数値計算するのには向かない。