Cayley-Hamiltonの定理のシンプルな証明

790

この記事ではCayley-Hamiltonの定理のシンプルな証明を紹介します．体を係数とする行列に対しては線型写像の構造論に依拠した証明もいくつか知られていますが、ここで紹介するのは任意の可換環上で成り立つものです．

多項式を成分とする行列

可換環 $R$ と正整数 $n$ を固定します．行列 $A \in M_{n} (R)$ の固有多項式とは、行列 $X I - A \in M_{n} (R [X])$ の行列式のことを指すのでした．このような「多項式を成分とする行列」について少し一般論を準備をしておきましょう．

$M_{n} (R [X])$ の元 $P$ は一意的に
$P = X^{k} C_{k} + X^{k - 1} C_{k - 1} + \dots + C_{0} (C_{0}, \dots, C_{k} \in M_{n} (R))$
と表すことができます．この $C_{0}, \dots, C_{k}$ のことを $P$ の係数と呼ぶことにします．行列 $A \in M_{n} (R)$ に対し、 $R$ 加群の準同型 $Φ_{A} : M_{n} (R [X]) \to M_{n} (R)$ を
$Φ_{A} (X^{k} C_{k} + X^{k - 1} C_{k - 1} + \dots + C_{0}) = A^{k} C_{k} + A^{k - 1} C_{k - 1} + \dots + C_{0}$
で定めます． $Φ_{A}$ は積を保つとは限りませんが、以下のような特別な状況では積を保ちます．

$A \in M_{n} (R)$ および $P, Q \in M_{n} (R [X])$ に対し、 $P$ の係数が全て $A$ と可換ならば
$Φ_{A} (P Q) = Φ_{A} (P) Φ_{A} (Q)$
が成り立つ．

$Φ_{A}$ は和を保つので、 $P = X^{k} C_{k}, Q = X^{l} C_{l}$ と表せる場合に帰着される．このとき
$Φ_{A} (P Q) = A^{k + l} C_{k} C_{l}, Φ_{A} (P) Φ_{A} (Q) = A^{k} C_{k} A^{l} C_{l}$
となるが、仮定より $C_{k}$ と $A^{l}$ は可換なのでこれらは一致する．

Cayley-Hamiltonの定理

$A \in M_{n} (R)$ に対し、その固有多項式 $p_{A} (X)$ に $A$ を代入した値は $O$ となる．

行列 $P$ の余因子行列を $P^{\sim}$ で表すと
$p_{A} I = (X I - A) (X I - A)^{\sim}$
である．両辺に $Φ_{A}$ を適用すると、補題1より
$p_{A} (A) = Φ_{A} (X I - A) Φ_{A} ((X I - A)^{\sim})$
となる． $Φ_{A} (X I - A) = O$ なので $p_{A} (A) = O$ が得られる．

余談

上の証明では任意の可換環上のCayley-Hamiltonの定理を直接示しましたが、実は複素数係数の場合に帰着する方法もあります．これも面白いので証明を書いておきましょう．

$φ : R \to S$ を可換環の間の環準同型とすると、 $A \in M_{n} (R)$ に対して
$φ (p_{A} (A)) = p_{φ (A)} (φ (A))$
が成り立つことが簡単に分かります．よって $A$ に対して定理が成立していれば $φ (A)$ に対しても成立します．また $φ$ が単射ならば逆も成立します．

さて、定理を $R = C$ の場合に帰着させましょう． $n^{2}$ 個の変数を持つ多項式環 $S = Z [T_{11}, T_{12}, \dots, T_{n n}]$ を考えます． $B \in M_{n} (S)$ を、第 $(i, j)$ 成分が $T_{i j}$ であるような行列とします．環準同型 $φ : S \to R$ を $T_{i j} \mapsto A_{i j}$ で定めると $φ (B) = A$ なので、 $B$ について定理を示せばよいことになりました．

さらに、 $Q$ 上代数的独立な $n^{2}$ 個の超越数 $α_{11}, α_{12}, \dots, α_{n n} \in C$ を選び、 $ψ : S \to C$ を $T_{i j} \mapsto α_{i j}$ で定めます．すると $ψ$ は単射なので、 $ψ (B)$ について定理を示せばよいことになります．以上で $R = C$ の場合に帰着できました．

投稿日：2021年2月2日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

J_Koizumi

147

14652

他の人のコメント

コメントはありません。

読み込み中

J_Koizumi

Cayley-Hamiltonの定理のシンプルな証明

多項式を成分とする行列
Cayley-Hamiltonの定理
余談