The trace Cayley-Hamilton theorem

논문 요약: Trace Cayley-Hamilton 정리 (The Trace Cayley-Hamilton Theorem)

저자: Darij Grinberg
날짜: 2026 년 4 월 14 일 (가상 날짜, 원문 기준)
주제: 가환환 (commutative ring) 위의 행렬에 대한 대수적 성질, 특히 행렬의 대각합 (trace), 행렬식 (determinant), 수반행렬 (adjugate matrix) 간의 관계 및 새로운 증명 기법.

1. 연구 배경 및 문제 제기

• 기존의 Cayley-Hamilton 정리: $n \times n$ 행렬 $A$의 특성다항식 $\chi_A(t) = \det(tI_n - A)$에 대해 $\chi_A(A) = 0$이 성립한다는 고전적인 정리. 이는 선형대수학의 핵심 정리 중 하나이나, 그 증명들은 이미 잘 알려져 있음.
• 문제점: 행렬의 대각합 (Trace) 과 관련된 더 강력한 관계식인 **"Trace Cayley-Hamilton 정리"**에 대한 체계적이고 접근 가능한 설명 (expository treatment) 이 부족함.
  • 이 정리는 특성다항식의 계수 $c_i$와 행렬의 거듭제곱의 대각합 $\text{Tr}(A^i)$ 사이의 관계를 기술함.
  • 기존에는 체 (field) 위에서 고유값 (eigenvalues) 을 이용한 증명 (Newton 항등식 유도) 이 주류였으나, 이는 일반적인 가환환 (commutative ring) 에서는 적용되지 않음.
• 목표: 고유값을 사용하지 않고, 순수 대수적 기법 (특히 수반행렬의 다항식 전개) 을 사용하여 가환환 위에서 Trace Cayley-Hamilton 정리를 증명하고, 이를 통해 행렬식과 수반행렬의 다양한 성질을 유도하는 것.

2. 주요 방법론 (Methodology)

저자는 고유값에 의존하지 않는 순수 대수적 접근법을 사용하며, 다음과 같은 핵심 전략을 구사함:

1. 수반행렬의 다항식 전개 (Expansion of the Adjugate):

   • 행렬 $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) \cdot \text{adj}(tI_n - A) = \chi_A(t) I_n$에 대입하여 계수 비교를 통해 $D_k$와 $\chi_A$의 계수 사이의 점화식을 유도함.

2. 미분 연산자와 행렬식 (Derivations and Determinants):

   • $K$-미분 (derivation) 개념을 도입하여 행렬식의 미분 공식을 유도함:
     $$\partial(\det M) = \text{Tr}(\partial(M) \cdot \text{adj}(M))$$
   • 이를 특성다항식 $\chi_A(t) = \det(tI_n - A)$에 적용하여 $\chi_A'(t) = \text{Tr}(\text{adj}(tI_n - A))$임을 증명함. 이는 Trace Cayley-Hamilton 정리를 증명하는 핵심 단계임.

3. "$tI_n + A$ 전략" (The $tI_n + A$ Trick):

   • 일반적인 행렬 $A$ 대신 다항식 행렬 $tI_n + A$를 고려함.
   • 이유: $\det(tI_n + A)$는 $K[t]$에서 **정칙원 (regular element, 영약수 아님)**이 됨.
   • 효과: 정칙원은 곱셈에서 소거 (cancellation) 가 가능하므로, 행렬식과 수반행렬에 대한 항등식을 증명할 때 $\det A$가 영약수일지라도 일반성을 잃지 않고 식을 변형할 수 있음. 증명 후 $t=0$으로 대입 (evaluation homomorphism) 하여 원래 행렬 $A$에 대한 결과를 얻음.

3. 주요 결과 및 기여 (Key Results & Contributions)

A. Trace Cayley-Hamilton 정리 (Theorem 2.6)

행렬 $A$의 특성다항식을 $\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$$

• 의의: 이는 뉴턴 항등식 (Newton's identities) 의 행렬 버전으로, 고유값 없이 순수 대수적으로 증명됨. $k \ge n$인 경우 기존 Cayley-Hamilton 정리로 쉽게 유도되지만, $k < n$인 경우 새로운 증명이 필요함.

B. 수반행렬의 다항식 표현 (Theorem 5.14)

수반행렬 $\text{adj}(A)$가 $A$의 다항식으로 표현됨을 보임:
$$\text{adj}(A) = (-1)^{n-1} \sum_{i=0}^{n-1} c_{n-1-i} A^i$$
이는 행렬 $A$와 교환하는 행렬은 $\text{adj}(A)$와도 교환함을 의미함.

C. 블록 행렬식 공식 (Block Matrix Determinants)

"$tI_n + A$" 전략을 활용하여 블록 행렬의 행렬식에 대한 새로운 공식을 유도함:

• Theorem 5.27: $AC = CA$일 때,$\det \begin{pmatrix} A & B \ C & D \end{pmatrix} = \det(AD - CB)$.
• Theorem 5.34: 더 일반적인 블록 행렬에 대한 행렬식 공식 유도.

D. 멱영성 (Nilpotency) 과 대각합의 관계

• Corollary 4.1: 만약 $\text{Tr}(A^i) = 0$ ($1 \le i \le n$) 이면, $n! A^n = 0$임. $K$가 $\mathbb{Q}$-대수라면 $A^n = 0$임.
• Corollary 4.2: 반대로 $\chi_A(t) = t^n$이면 모든 양의 정수 $i$에 대해 $\text{Tr}(A^i) = 0$임.

E. 추가적인 성질들

• Jacobi's Theorem (Theorem 5.22): 수반행렬의 소행렬식 (minors) 과 원래 행렬의 소행렬식 간의 관계.
• Almkvist's Theorem (Theorem 6.1): $A^{k+1}=0$일 때 $(\text{Tr} A)^{nk+1} = 0$임을 언급 (외부대수 기법 참조).
• 특성 $p$에서의 대각합 (Theorem 6.8): $p=0$인 체에서 $\text{Tr}(A^p) = (\text{Tr} A)^p$임.

4. 의의 및 중요성 (Significance)

1. 일반성 (Generality): 이 논문은 체 (field) 가 아닌 임의의 가환환 (commutative ring) 위에서 결과를 증명하여, 대수적 기하학이나 정수론 등 더 넓은 수학 분야에서 적용 가능한 강력한 도구를 제공함.
2. 증명 기법의 혁신: 고유값이라는 강력한 도구를 배제하고, 수반행렬의 다항식 구조와 미분 연산자를 활용하여 정리를 증명함으로써, 선형대수학의 대수적 본질을 더 깊이 이해할 수 있게 함.
3. 교육적 가치: Trace Cayley-Hamilton 정리와 같은 덜 알려진 결과들을 체계적으로 정리하고, "$tI_n + A$"라는 전략이 행렬식 항등식 증명에 얼마나 유용한지 보여줌으로써, 연구자와 학생들에게 귀중한 참고 자료가 됨.
4. 응용 가능성: 멱영성 판정 기준, 블록 행렬식 계산, 수반행렬의 성질 등 다양한 선형대수 및 대수학 문제 해결에 직접적으로 활용 가능함.

결론

Darij Grinberg의 이 논문은 고전적인 Cayley-Hamilton 정리의 'Trace' 버전을 가환환 위에서 완전히 대수적으로 증명하고, 이를 확장하여 행렬식과 수반행렬에 관한 다양한 심화 정리들을 유도한 중요한 논문임. 특히 고유값에 의존하지 않는 증명 기법과 "$tI_n + A$" 전략의 체계적인 활용은 선형대수학의 대수적 구조를 이해하는 데 있어 중요한 통찰을 제공함.