A constructive proof of Orzech's theorem

以下のは、Darij Grinberg による論文「A constructive proof of Orzech's theorem（Orzech の定理の構成論的証明）」の技術的な要約です。

1. 問題の背景と目的

• 対象: 可換環 $A$（単位元を持つ）と、その上の有限生成 $A$-加群 $M$。
• 定理の主張（Orzech の定理）: $M$ の部分加群 $N$ から $M$ への全射 $A$-加群準同型 $f: N \to M$ が存在する場合、$f$ は同型写像（全単射）である。
• 従来の状況:
  • Morris Orzech は 1971 年にこの定理を証明したが、その証明はネーター環への帰着とネーター性を用いた非構成論的（非構成的）な手法に基づいていた。
  • 同様の結果として、$M$ から $M$ への全射自己準同型が同型であるという Vasconcelos の結果（Corollary 0.2）は既知であったが、多くの既存証明は Orzech の一般化された定理（$N \subsetneq M$ の場合）へ拡張できないか、非構成論的であった。
• 本論文の目的: 構成論的数学（constructive mathematics）の枠組み内で、Orzech の定理を証明すること。特に、非構成論的な選択公理やネーター環への帰着を避け、具体的な構成法を示すことを目指す。

2. 手法と主要な道具立て

本論文の証明の核心は、**ケイリー・ハミルトンの定理（Cayley–Hamilton theorem）**の構成論的な利用にある。

• ケイリー・ハミルトンの定理の構成論的定式化:

  • 任意の $n \times n$ 行列 $M$ に対して、その特性多項式 $\chi_M(X) = \det(X I_n - M)$ を考える。
  • 定理 0.3 として、$\chi_M(M) = 0$ が成り立つことを引用する。
  • 補題 0.4: これより、$c_0 M^0 + c_1 M^1 + \dots + c_n M^n = 0$ かつ $c_n = 1$ となる係数 $(c_0, \dots, c_n) \in A^{n+1}$ が存在することが導かれる。これは $M$ が満たす「モニックな多項式関係」を示す。

• 鍵となる補題（Lemma 0.5）:

  • 設定：$g: A^n \to A^n$ を $A$-線形写像、$V$ を $A^n$ の部分加群とする。
  • 条件：$g^{-1}(V) \subseteq V$（$V$ の逆像が $V$ に含まれる）。
  • 結論：$g(V) \subseteq V$（$V$ 自体が $g$ によって不変である）。
  • 証明のロジック:
    1. 行列 $M$ が $g$ を表すとする。
    2. 補題 0.4 より、$\sum c_k M^k = 0$ かつ $c_n=1$ となる係数を得る。
    3. 帰納法を用いて、任意の $u \in \{0, \dots, n\}$ に対して、$\left(\sum_{k=0}^{n-u} c_{u+k} M^k\right)(V) \subseteq V$ を示す。
    4. 特に $u=n-1$ の場合を考えると、$(c_{n-1} I_n + M)(V) \subseteq V$ となる。
    5. これを $w \in V$ に適用し、$g(w) = M(w)$ の関係を用いると、$g(w) \in V - c_{n-1}w \subseteq V$ が導かれ、$g(V) \subseteq V$ が証明される。

3. 証明の構成と結果

ステップ 1: 有限生成部分加群の場合（Lemma 0.6）

• 仮定: $N$ が有限生成である場合。
• 構成:
  1. $N$ の生成元 $a_1, \dots, a_n$ を選び、自由加群 $A^n$ から $N$ への全射 $p: A^n \to N$ を定義する。
  2. 全射 $f \circ p: A^n \to M$ を考える。
  3. 各基底ベクトル $e_i$ に対し、$p(e_i)$ を $(f \circ p)$ の像として持つベクトル $h_i \in A^n$ を選び、線形写像 $g: A^n \to A^n$ を $g(e_i) = h_i$ で定義する。
  4. このとき、$f \circ p \circ g = p$ が成り立つ。
  5. $V = \ker(f \circ p)$ とおく。$g^{-1}(V) \subseteq V$ が成り立つことを示し、補題 0.5 を適用して $g(V) \subseteq V$ を得る。
  6. 任意の $w \in \ker f$ に対し、$w = p(v)$ と書ける。$v \in V$ であることと $g(V) \subseteq V$ を用いると、$p(v) = 0$ が導かれ、$w=0$ となる。
• 結果: $f$ は単射であり、全射なので同型である。

ステップ 2: 一般の場合（Theorem 0.1 の証明）

• 仮定: $M$ は有限生成だが、$N$ は有限生成とは限らない。
• 構成:
  1. $M$ の生成元 $a_1, \dots, a_n$ を選ぶ。
  2. $f$ の全射性より、各 $a_i$ の原像 $g_i \in N$ を選ぶ（$f(g_i) = a_i$）。
  3. 任意の $v \in \ker f$ に対し、$N$ の部分加群 $N' = Av + \sum A g_i$ を考える。
  4. $N'$ は有限個の元 $\{v, g_1, \dots, g_n\}$ で生成されるため有限生成である。
  5. 制限写像 $f|_{N'}: N' \to M$ は、生成元 $a_i$ を像に含むため全射である。
  6. ステップ 1（Lemma 0.6） を $N'$ と $f|_{N'}$ に適用すると、$f|_{N'}$ は同型写像となる。
  7. したがって $f|_{N'}$ は単射。$v \in N'$ かつ $f(v)=0$ より $v=0$。
• 結果: $\ker f = 0$ となり、$f$ は同型写像である。

4. 主要な貢献と意義

1. 構成論的証明の確立:
   • Orzech の定理を、非構成論的な手法（ネーター環への帰着や選択公理の非構成的使用）なしに、ケイリー・ハミルトンの定理と線形代数の操作のみで証明した。
   • これにより、計算機代数や構成論的数学の文脈でこの定理を直接利用できるようになった。
2. 手法の一般化:
   • Vasconcelos の結果（$N=M$ の場合）の証明を、より一般的な部分加群 $N \subset M$ の場合に拡張する構成論的アプローチを提供した。
3. 論理的構造の明確化:
   • 行列の特性多項式を用いた「不変部分空間の同定（Lemma 0.5）」という中核的な補題を提示し、それがどのようにして核（Kernel）の消滅を導くかを明確に示した。

5. 結論と今後の課題

• 本論文は、Orzech の定理が構成論的数学の枠組み内で真であることを示した。
• 残された問い:
  • Question 0.7: 加群の定理の「乗法的版」（$B$ が有限生成可換 $A$-代数で、全射自己準同型 $f: B \to B$ が同型であるという Matsumura の結果）にも構成論的証明は存在するか？
  • Question 0.8: 加群の定理（Theorem 0.1）の $A$-代数版（部分代数から代数への全射準同型）は成立するか？

この論文は、代数的な構造に関する古典的な結果を、現代の構成論的視点から再検証し、その証明をより具体的で計算可能な形に落とし込んだ重要な貢献と言えます。