🔢 mathematics

The trace Cayley-Hamilton theorem

この論文は、可換環上の行列のトレース、行列式、随伴行列の性質を証明する解説論文であり、特に「トレース・ケイリー・ハミルトンの定理」の証明を通じて、可換環上の線形代数における一般的な手法を示している。

原著者： Darij Grinberg

公開日 2026-04-15

📖 1 分で読めます🧠 じっくり読む

原著者： Darij Grinberg

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

1. 物語の舞台：行列の「正体」を探る

まず、この論文の主人公は**「行列（Matrix）」です。
行列は、数字を並べた表のようなものです。この行列には「固有の性格」があり、それを表すのが「特性多項式（Characteristic Polynomial）」**という式です。

従来の考え方： 行列をそのまま見て、その性格（式）を計算しようとする。
この論文の考え方： 行列を少し「変形」して、**「 $t$ という変数を含んだ新しい行列」**にしてみましょう。

2. 核心となる「魔法の道具」：$tI + A$ という変身

この論文で使われている最大のトリックは、**「$tI + A$」**という式を使うことです。

アナロジー：「変身するヒーロー」
通常の行列 $A$ は、ある状況（例えば、その行列の式が 0 になるかどうか）で「ゼロ（無）」になってしまうと、計算が止まってしまいます。まるで、変身前のヒーローが敵に倒されて動けなくなってしまうようなものです。

しかし、著者はこう提案します。「 $A$ に、『変数 $t$ 』という魔法の粉を混ぜて、$tI + A$ という新しい姿に変身させましょう」と。
- なぜこれが有効か？
  $tI + A $という新しい行列の「行列式（全体の強さ）」は、$ t $という変数を含んでいるため、どんなに元の行列$ A$ が弱くても、**「ゼロにはならない（消えない）」という性質を持ちます。
  これは、「消えないインク」**のようなものです。普通のインク（元の行列）は濡れて消えてしまうかもしれませんが、この魔法のインク（$tI + A$）はどんなに濡れても消えません。
- 戦術：
  1. まず、消えないインク（$tI + A$）を使って、複雑な計算を安全に行う。
  2. 計算が終わったら、最後に「 $t=0$ 」という魔法を唱えて、元の行列 $A$ の姿に戻す。
  これにより、本来は「計算できない（ゼロで割れない）」状況でも、安全に証明を進めることができます。これを著者は**「特異点（危険な場所）から離れて変形する」**戦略と呼んでいます。

3. 発見された「新しい定理」：トレース・ケイリー・ハミルトンの定理

この「変身戦略」を使って、著者は**「トレース・ケイリー・ハミルトンの定理」**という新しい（あるいは再発見された）事実を証明しました。

ケイリー・ハミルトンの定理（お馴染み）：
「ある行列 $A$ は、自分の性格を表す式（特性多項式）を代入すると、ゼロになる」という有名な定理です。
- 例：「自分自身を評価すると、ゼロになる」というような、自己完結的な性質です。
トレース・ケイリー・ハミルトンの定理（今回の新発見）：
これは、上記の定理の**「対角成分の合計（トレース）」に関するバージョンです。
「行列の 1 乗、2 乗、3 乗……の『合計値（トレース）』と、その性格を表す式の係数には、『0』になるという奇妙な関係が成り立っている**」というものです。
- アナロジー：「家族の遺伝」
  従来の定理が「親（行列）が自分の姿（式）を真似すると消える」という話だとすれば、今回の定理は**「親の『合計の性格（トレース）』と、子供の世代ごとの『合計の性格』の間にも、不思議なバランス（0 に等しい関係）がある」**という話です。
  
  通常、この関係は「行列が対角化できる（簡単に分解できる）」場合しかわかりませんでしたが、この論文は**「どんな複雑な行列（環の上の行列）でも、このバランスが成り立つ」**ことを、変数 $t$ を使った変身戦略で証明しました。

4. この論文が教えてくれること

この論文は、単に新しい数式を導き出しただけでなく、**「数学的な証明の新しい視点」**を示しています。

視点の転換：
「難しい問題を直接解こうとすると壁にぶつかる。でも、一度『変数 $t$ 』というパラレルワールド（多項式の世界）に移動して、そこで解決してから戻ってくる」という発想です。
応用：
このテクニックを使えば、行列が「べき零（何乗かすると消える）」かどうかの判定や、ブロック行列（行列を四角く区切ったもの）の計算など、様々な難しい問題がスッと解けてしまいます。

まとめ

この論文は、**「行列という硬い物体を、変数 $t$ という柔らかい水に溶かして、その性質を調べ、最後に固めて戻す」**という、まるで錬金術のような数学的トリックを紹介しています。

キーフレーズ： 「消えないインク（$tI + A$）を使って、ゼロで割れない壁を乗り越える」。
結論： 行列の「合計値（トレース）」には、私たちが思っていた以上に深い、そして美しい法則が隠れていました。

数学が苦手な方でも、「変身して戦うヒーロー」や「消えないインク」というイメージを持てば、この論文が「難しい証明を、賢い裏技で解決しようとした物語」であることが伝わるはずです。

ダーリジ・グリンベルグ（Darij Grinberg）による論文「The trace Cayley-Hamilton theorem（トレース・ケイリー・ハミルトンの定理）」の技術的な要約を以下に示します。

1. 問題の背景と目的

本論文は、線形代数における古典的なケイリー・ハミルトンの定理（任意の正方行列 $A$ は、その特性多項式 $\chi_A(t) = \det(tI_n - A)$ を満たす、すなわち $\chi_A(A) = 0$ ）に関連する、より高度かつあまり知られていない結果である**「トレース・ケイリー・ハミルトンの定理」**を、任意の可換環 $K$ 上の行列に対して厳密に証明し、その応用を論じることを目的としています。

従来の証明の多くは、 $K$ が体（特に代数閉体）である場合に固有値を用いるか、あるいは普遍的多項式（universal identities）の手法に依存していました。しかし、固有値の概念が定義できない一般の可換環において、固有値を使わずにこの定理を証明する体系的なアプローチは、教育的・技術的に不足していました。

2. 主要な手法と戦略

本論文の核心は、以下の 2 つの戦略的な手法を組み合わせることです。

A. 随伴行列（Adjugate Matrix）の多項式展開

ケイリー・ハミルトンの定理の古典的な証明（1884 年の Buchheim によるもの）を拡張し、行列 $tI_n - A$ の随伴行列 $\text{adj}(tI_n - A)$ を $t$ の多項式として展開します。
$\text{adj}(tI_n - A) = \sum_{k=0}^{n-1} t^k D_k$
ここで $D_k$ は $K$ 上の定数行列です。この展開と、基本関係式 $(tI_n - A)\text{adj}(tI_n - A) = \det(tI_n - A)I_n$ を比較することで、係数間の漸化式を導き出し、トレースに関する恒等式を導出します。

B. 「 $tI_n + A$ 戦略（特異点からの変形）」

一般の可換環 $K$ において、行列 $A$ の行列式 $\det A$ が零因子（zero-divisor）である場合、両辺から $\det A$ を約分することができません。これを回避するため、 $A$ を多項式環 $K[t]$ 上の行列 $tI_n + A$ に置き換える手法を採用します。

$tI_n + A$ の行列式 $\det(tI_n + A)$ は、 $t$ について首一（monic）多項式となるため、 $K[t]$ において**正則元（regular element、零因子でない元）**となります。
これにより、行列式に関する等式で両辺を $\det(tI_n + A)$ で割る操作が可能になります。
証明が終わった後、評価準同型写像 $\varepsilon: K[t] \to K$ （ $t \mapsto 0$ ）を適用することで、元の行列 $A$ に関する結果を復元します。
この手法は代数幾何学における「特異点からの変形（deforming away from a singularity）」の代数版であり、線形代数の教科書ではあまり見られないアプローチです。

3. 主要な結果と定理

トレース・ケイリー・ハミルトンの定理（Theorem 2.6）

$A$ を $n \times n$ 行列、 $\chi_A(t) = \sum_{i=0}^n c_{n-i} t^i$ をその特性多項式とするとき、任意の $k \in \mathbb{N}$ に対して以下の等式が成り立ちます。
$k c_k + \sum_{i=1}^k \text{Tr}(A^i) c_{k-i} = 0$
（ただし、 $c_j = 0$ for $j < 0$ とする）。

$k \ge n$ の場合は通常のケイリー・ハミルトンの定理から容易に導けますが、 $k < n$ の場合は非自明であり、固有値を使わずに証明された点が画期的です。
この結果は、ニュートンの恒等式（Newton's identities）の行列版と解釈できます。

応用：冪零性の判定基準（Corollary 4.1）

$K$ が可換環であるとき、 $\text{Tr}(A^i) = 0$ が $i=1, \dots, n$ に対してすべて成り立つならば、 $n! A^n = 0$ が成り立ちます。

特に $K$ が $\mathbb{Q}$ 代数（標数 0 の体を含む）であれば、 $A^n = 0$ （ $A$ は冪零）となります。
これは、標数 $p$ の環などでは $n!$ が零になる可能性があり、単純な逆命題が成り立たないことを示唆しています。

随伴行列の性質に関する新たな結果

随伴行列のトレース（Theorem 5.32）: $\text{Tr}(\text{adj } A) = (-1)^{n-1} c_{n-1}$ 。すなわち、随伴行列のトレースは特性多項式の $t$ の係数（符号付き）に等しい。
ブロック行列の行列式公式（Theorem 5.27, 5.34）: $AC = CA $となる条件の下でのブロック行列$ \begin{pmatrix} A & B \ C & D \end{pmatrix} $の行列式公式$ \det(AD - CB) $の証明や、より一般的な行列式公式を「$ tI_n + A$ 戦略」を用いて簡潔に導出しています。

4. 論文の貢献と意義

証明の体系化と一般化:
トレース・ケイリー・ハミルトンの定理は、代数的組合せ論や表現論の専門家には知られていましたが、その証明が体系的に整理されたことは稀でした。本論文は、固有値に依存しない、純粋に代数的な証明を提供し、任意の可換環で成立することを示しました。
手法の汎用性の提示:
「 $tI_n + A$ 戦略」が、単にケイリー・ハミルトンの定理だけでなく、随伴行列の性質、行列式の恒等式、ブロック行列の公式など、多岐にわたる線形代数の命題を証明する強力なツールであることを実証しました。これは、零因子の問題を回避するための標準的なテクニックとして、代数系における線形代数の教育・研究に寄与します。
教育的価値:
固有値という直感的な概念に頼らず、行列式、随伴行列、微分（導分）、トレースの代数的な関係性のみで高度な定理を導く過程は、環論上の線形代数の理解を深める上で極めて重要です。
追加の知見:
最終節では、冪零行列のトレースに関する Almkvist の定理や、標数 $p$ における $\text{Tr}(A^p) = (\text{Tr} A)^p$ といった既知の結果についても言及し、本論文の文脈での位置づけを説明しています。

結論

この論文は、線形代数の古典的な定理を、現代的な代数的手法（特に多項式環を用いた変形手法）を用いて再構築し、その応用範囲を広げた優れた解説論文です。特に「トレース・ケイリー・ハミルトンの定理」の証明と、それを支える「 $tI_n + A$ 戦略」の提示は、可換環上の線形代数を扱う研究者や教育者にとって重要なリソースとなります。