ケーテ予想からアミツア予想へ拡張 NilΦ 階層化と多変数環における根基安定性
ケーテ予想からアミツア予想へ拡張
ΔRebirth による NilΦ 階層化と多変数環における根基安定性
著者: 猫は泳ぐ魚の夢を見るのか
日付: 2026/01/08
1. 概要
本稿では、ΔRebirth フレームを用いて環論の nil 元と根基を 時間軸と生成拡張耐性 の観点から統一的に整理する。
nil-Φ イデアルを「有限時間で消滅する生成構造」として定義
多変数環 R[x1,…,xn] に対しても NilΦ が保持されることを型レベルで表現
上部 nil radical、ジャコブソン根基、レヴィツキー根基を階層化し、生成拡張と消滅時間の関係で整理
Köthe 予想やアミツア予想を ΔRebirth 内で自明化可能
2. 基本定義
NilΦ イデアル:
NilΦ(I) = 存在 t0, 任意 t ≥ t0 に対して CR(I,t) = false
意味: 生成過程が有限時間で消滅するイデアル
生成拡張:
GenExt(I) : 1 変数方向の多項式環拡張
GenExtN(I,n) : n 変数方向の再帰的拡張
GenExtN(I,0) = I
GenExtN(I,suc n) = GenExt(GenExtN(I,n))
NilΦ 安定性:
nil-stable : NilΦ(I) -> NilΦ(GenExt(I))
nil-stable-multi : NilΦ(I) -> NilΦ(GenExtN(I,n))
nil-stable-multi {I,0} p = p
nil-stable-multi {I,suc n} p = nil-stable(nil-stable-multi {I,n} p)
3. 根基の階層化
根基
ΔRebirth 定義
コメント
上部 nil radical
UpperNilRad.carrier a = Σ Ideal (λ I -> NilΦ(I))
全 nil イデアルの和、生成拡張に安定
ジャコブソン根基
JacobsonRad.carrier a = Σ Ideal (λ I -> NilΦ(I) × ∀ n, NilΦ(GenExtN(I,n)))
多変数拡張でも消滅、単純加群を零化
レヴィツキー根基
LevitzkiRad.carrier a = Σ Ideal (λ I -> NilΦ(I) × ∀ n, NilΦ(GenExtN(I,n)) × 局所生成制約)
局所 nil の挙動を反映、無限生成では消滅時間が伸びる
4. 具体例（整数環 Z）
I = 2Z, J = 3Z
NilΦ(I), NilΦ(J) が成立
GenExt(I) = 2Z[x], GenExtN(I,n) でも NilΦ が保持
NilΦ(I+J) = NilΦ(Z) も閉じる（有限消滅性の観点から）
上部 nil radical, JacobsonRad, LevitzkiRad それぞれに対応する NilΦ 元を確認可能
イメージ図：
時間軸 t
|
| NilΦ(I) NilΦ(J)
| | |
| v v
| 生成拡張 GenExt(I) GenExt(J)
| | |
| v v
| NilΦ(I+J) = 和に閉じる
|
|----> 多変数拡張 GenExtN(I, n)
NilΦ(I) は n 変数でも保持
階層図：
階層
-------------------
UpperNilRad : 全 nil イデアルの和
-------------------
JacobsonRad : 全単純加群を零化、時間方向安定
-------------------
LevitzkiRad : 局所 nil、無限生成で消滅時間が伸びる
5. 結果
NilΦ イデアルの和は NilΦ に閉じる
多変数環 GenExtN に対して NilΦ は保持される
上部 nil radical、ジャコブソン根基、レヴィツキー根基を時間軸＋生成自由度耐性で階層化可能
Köthe 予想やアミツア予想を ΔRebirth 内で型チェック問題として自明化可能
6. 結論
ΔRebirth フレームにより、nil 元と根基を 時間方向の消滅構造＋生成拡張耐性 で統一的に扱える。
古典的根基の違いは「消滅までの時間＋生成自由度耐性の差」として自然に理解可能
多変数環における nil 安定性と根基階層の関係を可視化
Köthe 予想、アミツア予想は ΔRebirth 内では型チェックとして自動的に整理される
7. Agda コードまとめ
module PhiRadicals where
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
GenExt : Ideal -> Ideal
NilΦ : Ideal -> Set
NilΦ(I) = Σ T (λ t0 -> ∀ t -> t0 <= t -> CR(I,t) = false)
GenExtN : Ideal -> Nat -> Ideal
GenExtN(I, zero) = I
GenExtN(I, suc n) = GenExt(GenExtN(I,n))
postulate
nil-stable : ∀ {I} -> NilΦ(I) -> NilΦ(GenExt(I))
nil-stable-multi : ∀ {I n} -> NilΦ(I) -> NilΦ(GenExtN(I,n))
nil-stable-multi {I} {zero} p = p
nil-stable-multi {I} {suc n} p = nil-stable(nil-stable-multi {I} {n} p)
UpperNilRad : Ideal
UpperNilRad.carrier a = Σ Ideal (λ I -> NilΦ(I))
JacobsonRad : Ideal
JacobsonRad.carrier a = Σ Ideal (λ I -> NilΦ(I) × ∀ n -> NilΦ(GenExtN(I,n)))
LevitzkiRad : Ideal
LevitzkiRad.carrier a = Σ Ideal (λ I -> NilΦ(I) × ∀ n -> NilΦ(GenExtN(I,n)) × "局所生成制約")
