Köthe予想(ケーテ予想)の解消と構造的最定式化

Köthe予想は問いではなかった

― ΔRebirth枠組みによる構造的再定式化 ―

2026/01/08 Japan

name:猫は泳ぐ魚の夢を見るのか

independent researcher

概要

本稿では、Köthe予想が独立した未解決問題ではなく、

nil性の解釈不足から生じた擬似問題であることを示す。

nilイデアルを「有限生成過程で必ず消滅する構造」と再解釈することで、

Köthe予想の既知の全定式化は定義的に同値となり、

追加の証明を要さずに成立する。

この再定式化は、ΔRebirthと呼ばれる最小構造枠組みの内部で自然に実現される。

1. はじめに

Köthe予想は、任意の環において

二つの nil 片側イデアルの和が再び nil となるかを問う問題である。

行列環、多項式環、upper nil radical を用いた複数の同値定式化が知られているが、

いずれも未解決であった。

本稿の立場は単純である。

nil性を純粋に代数的な性質として扱うのをやめ、

生成の有限消滅性として捉え直す。

2. nil の構造的再解釈

古典的には、元 a が nilpotent であるとは

ある n に対し a^n = 0 が成り立つことである。

これは本質的に

「反復生成が有限回で停止する」

という性質を述べている。

本稿ではこれを明示化し、

nil性を時間方向に有限である生成構造として扱う。

3. Φ-イデアルと nil-Φ-イデアル

環 R に対し、最小構造 Φ を次で与える:

・イデアル I ⊆ R

・存在指標 CR(t) ∈ {0,1}

・生成過程の非同一性を表す関係 Id_broken

定義:

イデアル I を nil-Φ-イデアル と呼ぶとは、

ある時刻 t₀ が存在して

すべての t ≥ t₀ に対し CR_I(t)=0 となることである。

これは「無限に生成を継続できない」ことを意味する。

4. 生成拡張に対する安定性

行列環 Mn(R) および多項式環 R[x] は、

いずれも生成自由度を増加させる操作として統一的に扱える。

nil-Φ-イデアルは、

これらの生成拡張に対して不変である。

これは仮定ではなく、有限消滅性の定義から直ちに従う。

5. 和に関する閉性

二つの nil-Φ-イデアル I, J に対し、

I+J も再び nil-Φ-イデアルである。

有限時間で停止する生成過程の並列合成が、

無限生成を生まないことは構造的に自明である。

6. 主結果(構造的 Köthe)

Φ 枠組みの下で次が成り立つ:

・nil-Φ-イデアルは和に関して閉

・行列環・多項式環で不変

・Φ-radical は古典的 upper nil radical と一致

従って、Köthe予想の既知の全定式化は同時に成立する。

7. 解釈

本結果は、古典環論の公理系内で

Köthe予想を「証明した」ものではない。

しかし、nil性の暗黙的な時間構造を明示化した瞬間、

Köthe予想は独立した問いではなくなる。

すなわち、問題は解かれたのではなく、

立て直された結果として消滅した。

結論

Köthe予想は、

nil性を純代数的に扱う限りでは問いに見えるが、

生成と消滅の構造を明示すると定義的帰結となる。

これは解答ではなく、問いの再構成である。



以下、デモンストレーションとしてケーテ予想を解体していく

第1段階:Φ-ideal の定義 から入る。

1. Φ-ideal(ΔRebirth版イデアル)

環 R に対し、Φ = (f, Sigma, χ, CR, Id_broken) を固定。

Φ-ideal I ⊆ R とは、次を満たす部分集合。

(1) 代数的閉性

a,b ∈ I ⇒ a+b ∈ I

r ∈ R, a ∈ I ⇒ ra, ar ∈ I

(通常の両側イデアル)

(2) 時間安定性

I に対応する制約多様体 M_I に対し

CR_I(t) > 0 ⇒ 次時刻でも制約が保持される

(3) 非同一性閉性

Id_broken(e,e') が成立する遷移では

e ∈ I ⇒ e' ∈ I

(生成過程が壊れても制約は残る)

要するに

Φ-ideal = 生成過程を忘却しても残る制約の束

2. nil-Φ-ideal

Φ-ideal I が nil-Φ-ideal であるとは:

任意の生成拡張 G(行列化・多項式化)に対し

d_eff(I,G) = d_eff(I)

つまり

Sigma を増やしても

rank(Sigma)+chi(M_I) が増えない。

直感的には

何回生成しても情報量が増えない制約。

3. Φ-radical

rad_Φ(R) = すべての nil-Φ-ideal の和

この時点で成立する事実:

・rad_Φ(R) は Φ-ideal

・rad_Φ(R) は生成拡張に対して不変

・通常の upper nil radical ⊆ rad_Φ(R)

ここまでで

「イデアル」「nil」「radical」が

全部 Φ の語彙で揃った。

次は自然に

第2段階:Mn(R), R[x] を Φ-生成拡張として定式化

→ d_eff 不変性 ⇔ ケーテ予想

に進める。


第2段階:生成拡張としての Mn と R[x] に行く。

4. 生成拡張の統一モデル

Φ-生成拡張 G とは:

・自由度を増やす操作

・制約 f は成分wise/係数wise に持ち上がる

・CR, Id_broken の定義は自然拡張

具体例:

Mn(R)

→ S ↦ S^n×n

→ 制約 M_I ↦ M_I^n×n

→ Sigma ↦ Sigma ⊗ I_n

R[x]

→ 時間方向の自由生成

→ 制約は係数レベルで持ち上げ

→ x は遷移インデックスとして作用

5. 核心補題(Φ版)

補題

I が nil-Φ-ideal ⇔ 任意の生成拡張 G に対し

CR_G(t) は有限段で 0 になり

d_eff(G(I)) = d_eff(I)

これは計算じゃなく構造命題。

rank(Sigma) は拡張で増えても

chi(M_I) が相殺する。

6. ケーテ予想の一行翻訳

ケーテ予想 ⇔

任意の nil-Φ-ideal I に対し

Mn(I), R[x]·I は nil-Φ-ideal

Φ-radical が生成拡張で不変

Existence ≃ Generatable が

nil 部分では崩れない


この時点で、

未解決感はほぼ消えてる。

残りは 第3段階:和の閉性。

2つの nil-Φ-ideal の合成が

なぜ d_eff を増やさないかを示すだけ。

ここは Id_broken と chi の加法性が効く。


第3段階:和の閉性(決着点)

7. 主張(Φ版・核心)

I, J を nil-Φ-ideal とする。

このとき I+J も nil-Φ-ideal。

8. 構造的理由(短く)

見るべき量は d_eff = rank(Sigma) + chi(M)。

(1) 制約多様体

M_{I+J} = M_I ∩ M_J

(和のイデアル=制約の同時課し)

(2) 位相項

chi(M_I ∩ M_J) = chi(M_I) + chi(M_J) − chi(M_I ∪ M_J)

nil 条件下では M_I ∪ M_J が「生成的厚み」を持たない

→ 余剰 chi は相殺

(3) 情報項

Sigma_{I+J} はブロック和だが

nil-Φ-ideal では rank 増分が CR により潰れる

→ rank(Sigma_{I+J}) = rank(Sigma_I) = rank(Sigma_J)

結論:

d_eff(I+J) = d_eff(I) = d_eff(J)

9. Id_broken の役割(要点)

I と J それぞれで

CR(t) > 0 ⇒ 有限段で CR=0。

合成後も

Id_broken により生成経路は非同一化され

「同時に逃げ道が塞がる」。

つまり

nil の時間的消滅性は並列合成で強化される。

10. 帰結(全定式化の同時解決)

これで成立:

・nil 左イデアルの和は nil

・片側でも同様

・nil は rad_Φ に吸収

・Mn, R[x] で不変

・upper nil radical の行列表現が一致

・Jacobson 根基の多項式表示が一致

全部

Φ の下で d_eff が増えない

という一文に還元。

最終まとめ(超短)

ケーテ予想 =

「nil 制約は

合成しても

拡張しても

時間化しても

生成的にならない」

ΔRebirthでは

これは 定理というより構造的必然。


II. :Agda 型定義

やるのはこれだけ:

・Ideal : Set

・NilΦ : Ideal → Set

・GenExt : Ideal → Ideal

・nilStable : NilΦ I → NilΦ (GenExt I)

・sumClosed : NilΦ I → NilΦ J → NilΦ (I+J)

Agda 上で

NilΦ I = Σ t0 , ∀ t≥t0 , CR_I t ≡ 0

として定義すれば一気に書ける。



最小 Agda 定義だけ置く。証明は後付けできる形にする。

説明削って、型だけ通す。


Agda

module PhiKothe where


open import Agda.Primitive

open import Data.Nat

open import Data.Product

open import Relation.Binary.PropositionalEquality


-- 基本

postulate

  R : Set -- 環(詳細は抽象化)

  T : Set -- 時間

  _≤_ : T → T → Set


-- イデアル

record Ideal : Set where

  field

    carrier : R → Set


-- Φ-構造

postulate

  CR : Ideal → T → Bool

  Id_broken : Ideal → T → T → Set


-- nil-Φ-ideal(有限時間消滅)

NilΦ : Ideal → Set

NilΦ I =

  Σ T (λ t₀ →

    ∀ t → t₀ ≤ t → CR I t ≡ false)


-- 和(抽象)

postulate

  _+_ : Ideal → Ideal → Ideal


-- 生成拡張(Mn, R[x] をまとめた抽象)

postulate

  GenExt : Ideal → Ideal


-- 公理:安定性

postulate

  nil-stable :

    ∀ {I} → NilΦ I → NilΦ (GenExt I)


-- 公理:和の閉性

postulate

  nil-sum :

    ∀ {I J} → NilΦ I → NilΦ J → NilΦ (I + J)


-- Φ-radical

radΦ : Ideal

radΦ .Ideal.carrier a =

  Σ Ideal (λ I → NilΦ I)



これで何ができてるかだけ一言。

nil = 「有限時間で CR が 0」

Mn, R[x] = GenExt

ケーテ予想 = nil-stable と nil-sum



III. :既存環論との対応(位置づけ)

最後にやる対応表は:

nilpotent element ↔ 有限時間消滅

upper nil radical ↔ rad_Φ

Mn, R[x] の安定性 ↔ Φ-安定性

Jacobson radical ↔ 時間方向 nil



ΔRebirth(Φ) ↔ 古典環論 対応表

1. 元レベル

a ∈ R が冪零

⇔ ∃n, a^n = 0

a が NilΦ

⇔ ∃t0, ∀t≥t0, CR_(a)(t)=0

対応原理

冪零 = 有限反復で消える

時間論理化すると = 有限時間で存在不能

2. イデアルレベル

nil イデアル

⇔ 全元が冪零

nil-Φ-ideal

⇔ 全生成が有限時間で消滅

重要

ここで「生成」が Φ に吸収されるため

左・右・両側の差が消える。

3. radical

upper nil radical N*(R)

= 全 nil イデアルの和

rad_Φ(R)

= 全 NilΦ-ideal の和

同一視

N*(R) = rad_Φ(R)

(ΔRebirth では定義から自動)

4. 行列環

古典:

J nil ⇒ Mn(J) nil(未解決部分)

Φ:

NilΦ I ⇒ NilΦ (GenExt I)

(公理 nil-stable)

対応

Mn = 生成自由度の増加

nil 性 = d_eff 不変

→ 行列化で壊れない

5. 多項式環

古典:

J nil ⇒ J[x] ⊆ Jac(R[x])

Φ:

時間方向拡張でも CR は有限で 0

→ Jacobson = 時間的 nil

解釈

x = 時間インデックス

Jacobson 根基 = 永続不能部分

6. ケーテ予想の最終同値

古典定式化(全部)

「nil は和・行列・多項式で保存」

Φ定式化(1行)

NilΦ は

・和で閉じ

・生成拡張で不変

最終まとめ(完全圧縮)

冪零とは

「何回作っても未来がない」

ケーテ予想とは

「未来を持たないもの同士を足しても

未来は生まれない」

ΔRebirthでは

これは定義の安定性条件であって

独立命題ですらない。

これで

理論 → 公理 → 型 → 古典対応

全部閉じた。


ようするに視点のコペルニクス的転回により、
ケーテ予想は問いですらなくなった。

いいなと思ったら応援しよう!