小行列式
線型代数学において，行列 の小行列式（しょうぎょうれつしき，）とは， から1列以上の行や列を取り除いて得られる小さい正方行列の行列式である．正方行列から行と列をただ1つずつ取り除いて得られる小行列式 (first minors; 第一小行列式) は行列の余因子 (cofactor) を計算するのに必要で，これは正方行列の行列式や逆行列の計算に有用である．
が正方行列のとき，その 小行列式 (minor, first minor) とは，第 行と第 列を除去して得られる部分行列の行列式である．この数はしばしば と書かれる． 余因子 (cofactor) は小行列式に を掛けることによって得られる．
これらの定義を説明するため，次の3×3行列を考える：
小行列式 と余因子 を計算するため，上の行列から第2行と第3列を除いた行列の行列式を求める．
したがって 余因子は
を 行列とし， を整数で とする． の 小行列式は から 個の行と 個の列を除いて得られる 行列の行列式である．上の行列 に対して，全部で formula_4 個のサイズが の小行列式が存在する．零次の小行列式 ("Minor of order zero") はしばしば と定義される（空積も参照のこと）．対照的に、正方行列に対する第零小行列式 ("zeroth minor") とは、単にその行列の行列式のことを言う．
, を添え字の順序列とし（小行列式について話すときには特に断らない限りつねにそうであるように，自然な順序で），それらをそれぞれ と呼ぶ．添え字のこれらの選択に対応する小行列式 formula_5 は などと書かれる（ただし は添え字の列 を表す，等）．また，文献によって2種類の意味がある：添え字 と の順序列に伴う小行列式によって，ある著者は上のようにもとの行列の元を行は添え字が に入っていて列は添え字が に入っているものから取って作られる行列の行列式を意味し，他のある著者は と に伴う小行列式によってもとの行列から の行と の列を除去することで得られる行列の行列式を意味する．どの表記が使われているかはいつも確認すべきである．この記事では， の行と の列から元を選ぶ，含む方の定義を用いる．例外的な場合は 小行列式の場合である；この場合，取り除く方の表記 formula_6 がどの文献でも標準的であり，この記事においても用いる．
正方行列 の小行列式 の補小行列式 は， から に伴う行 と列 をすべて取り除いた行列の行列式である． 小行列式の補小行列式は単に 成分である．
余因子は行列式の展開のラプラスの公式において顕著に主役を演じる．これは大きい行列の行列式を小さい行列の行列式で計算する手法である． 行列 が与えられると， の行列式 は行列の任意の行か列の余因子にそこの成分を掛けたものの和として書くことができる．言い換えると，第 列に沿った余因子展開は
であり，第 行に沿った余因子展開は
可逆行列の逆行列をクラメルの法則を用いて，その余因子を計算することで以下のように書き下せる．正方行列 のすべての余因子からつくられる次の行列は余因子行列と呼ばれる：
このとき の逆行列は余因子行列の転置に の行列式の逆数を掛けたものである：
余因子行列の転置は の (adjugate matrix) あるいは古典随伴行列と呼ばれる．
上の公式は次のように一般化できる．formula_11 と formula_12 を添え字の（自然な順序での）順序列とする（ここで は 行列である）．このとき
である，ただし formula_14 は添え字 の補集合を自然な順序で並べた列である．よってどの添え字 も あるいは の一方のみにちょうど一回現れる（ と についても同様）．また formula_15 は の部分行列であって行の添え字が で列の添え字が であるものの行列式を表す．つまり，formula_16 である．単純な証明はウェッジ積を用いて与えることができる．実際，
である，ただし formula_18 は基底ベクトルである． を両辺に作用させて，
符号は formula_20 であることが計算できる．符号は の元の和によっても決定される．
実数（あるいは任意の他の体）を成分とし，階数が の 行列が与えられると，少なくとも1つの 0 でない 小行列式が存在し，それより大きいサイズの小行列式はすべて 0 である．
記号 は上の通りとする．
通常の行列の乗法の公式と2つの行列の積の行列式のコーシー・ビネの公式はともに，2つの行列の積の小行列式についての次の一般的な主張の特別な場合である．
が成り立つ，ただし和は 個の元を持つ の部分集合 全体を走る．この公式はコーシー・ビネの公式の直截的拡張である．
よりシステマティックには，小行列式の概念の代数学的な扱いはウェッジ積を用いて多重線型代数において与えられる：行列の 次小行列式は 次外冪写像の成分である．
行列の列が一度に 回一緒にウェッジされると， 小行列式は得られる 次元ベクトルの成分として現れる．例えば，行列
の 小行列式は （最初の2行から），（最初と最後の行から），（最後の2行から）である．さてウェッジ積
を考えよう，ただし2つの式は我々の行列の2つの行に対応する．ウェッジ積の性質を用いて，すなわち双線型性と
と
を用いて，この数式は
ある本では "cofactor"（余因子）の代わりに "adjunct" が使われている．さらに，それは と書かれ，余因子と同じように定義される：
この表記を用いて，逆行列は次のように書かれる：
"adjunct" は adjugate や adjoint ではないことに注意．現代の用語では，行列の "adjoint" は対応する随伴作用素を指すことが最も多い．