结果族 201：A counterexample to Kurosh’s division-ring problem · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
复数 = 实数添加一个平方等于 −1 的新数 @@M@@i@@，只盖了 2 层”楼”就装下了所有代数方程的根。Kurosh 在 1941 年问：非交换的”数系”（除环）若每个成员都是中心多项式的根、且整个系统由两个元素生成，是否也必然只盖有限层楼？这篇论文回答：不——存在两块砖就能撑起无穷层楼的怪物。
关键词卡片
看个具体例子
对照两栋楼：
@@M@@D\mathbb C=\mathbb R(i)\ \Rightarrow\ [\mathbb C:\mathbb R]=2;\qquad D=F(x,y)\ \Rightarrow\ [D:F]=\infty .@@
关键在于没有一致的次数上限：每个元素各自有一条消灭它的多项式，次数可以任意大——恰好躲开所有已知肯定定理（如一致次数界 @@M@@d\Rightarrow@@ 维数 @@M@@\le d^2@@）的适用范围。整个除环可数、特征为零；构造像一台逐层加盖的电梯：每一步只需解有限多个线性方程，就能把一个新元素”点名”变成代数元，取极限后得到 @@M@@D@@。
为什么值得关心
Kurosh 问题是 Burnside 型问题在除环上的化身，悬置八十余年；此反例划清了”中心代数＋少量生成元”推不出”有限维”的边界。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把数系的维数比作楼层：复数是实数”添一块砖 i”后只盖两层的楼。Kurosh 的问题换成非交换的”数系”再问一遍：若其中每个成员都是中心多项式的根、且整个系统由两块砖生成，楼是否必然只有有限层？本文的构造是一台逐层加盖的电梯：每步只解有限多个线性方程，就把一个新元素”点名”变成代数元，取极限得到两块砖撑起的无穷层怪物。
第二级台阶
用本科术语说：除环 D 是每个非零元都可逆、但乘法未必交换的环；其中心 Z(D) 是与全体元素交换的元素组成的子域，是”地基”。元素称为在中心上代数，若它是某个中心系数非零多项式的根。局部有限指任意有限个元素都只张成有限维空间。Kurosh 问题（1941）问：在中心上代数且作为代数有限生成的除环，是否必在中心上有限维——交换时这是平凡的有限扩张。
第三级台阶
定理陈述：存在特征零的可数除环 D，中心为 F，及元素 x、y，使 D=F[x,y]=F(x,y) 而 [D:F]=∞，且每个元素都在 F 上代数。假设的松紧是全部机关：”代数”允许逐元素选取消灭多项式、没有一致次数上限，恰好落在 Kaplansky 的 PI 定理与 Bell–Drensky–Sharifi 的一致界 d² 定理的射程之外；”两个生成元”让局部有限性被一个二元集直接击穿；可数性与特征零说明不靠不可数暴力。构造并不预先指定中心——先在可数中心子域上造代数除环，再用有限下降论证证明它关于真实中心仍无穷维。
论文构造了一个特征零的可数除环 @@M@@D@@：它在其中心 @@M@@F@@ 上代数、作为 @@M@@F@@ 上代数由两个元素生成，却在 @@M@@F@@ 上无穷维。这给 Kurosh 除环问题以否定回答——中心代数性不蕴含局部有限性。
除环（division ring）是每个非零元皆可逆的（可能非交换的）环。若除环 @@M@@D@@ 的每个元素都满足中心 @@M@@F=Z(D)@@ 系数的一个非零多项式，称 @@M@@D@@ 在中心上代数。1941 年 Kurosh 在与群的 Burnside 有限性问题相呼应的语境下提问：在一个中心子域上代数且作为代数有限生成的除环，是否必在该子域上有限维？交换情形此事平凡（代数加有限生成即有限扩张），非交换情形却悬置至今，此即除环版 Kurosh 问题。已知肯定结果都需附加假设：Kaplansky 证明满足多项式恒等式（PI）的代数代数局部有限；Bell–Drensky–Sharifi（2013）证明元素多项式关系有一致次数上界 @@M@@d@@ 时，除环在中心上的维数至多 @@M@@d^2@@。另一侧，Golod–Shafarevich 方法造出有限生成的无限维幂零代数，但其单位化含非零幂零元，回答不了除环问题。难点在于：必须去掉一致次数界，同时不能引入任何零因子。
论文定理 1.1：存在特征零的可数除环 @@M@@D@@，中心为 @@M@@F=Z(D)@@，以及元素 @@M@@x,y\in D@@，使得
@@M@@DD=F[x,y]=F(x,y),\qquad [D:F]=\infty,@@
并且 @@M@@D@@ 的每个元素都在 @@M@@F@@ 上代数。这里 @@M@@F[x,y]@@ 记 @@M@@F@@ 上由 @@M@@x,y@@ 生成的代数（生成元不必交换），@@M@@F(x,y)@@ 记除子环。于是二元集 @@M@@\{x,y\}@@ 直接见证局部有限性（local finiteness，即对每个有限子集 @@M@@S@@ 都有 @@M@@[F(S):F]<\infty@@）失效。消灭多项式允许逐元素选取，没有一致次数界——这正落在 Bell–Drensky–Sharifi 定理的适用范围之外。构造并不预先指定中心：先在可数中心子域上造出代数除环，再用单独的有限下降论证证明它关于真实中心无穷维。
引擎是一条”代数提升定理”。设 @@M@@k@@ 为含全部单位根的特征零可数域，@@M@@A/k@@ 为有限维中心除代数（central division algebra），@@M@@X@@ 为两个非交换变量的形式幂级数组，满足两个条件：常值组 @@M@@X_0@@ 生成 @@M@@A@@；两个线性系数 @@M@@X_1,X_2@@ 在商 @@M@@A^u/J_A(X_0)@@ 中无关，其中 @@M@@J_A(X_0)@@ 是换位子像空间，即无穷小共轭所能消去的变化。定理断言：对任意级数 @@M@@w@@，存在可数扩张 @@M@@k'@@、次数（定义为 @@M@@\sqrt{[A:F]}@@）严格更大的中心除代数 @@M@@A'/k'@@ 及新级数 @@M@@X',w'@@，使旧多项式恒等式全部保留、生成性与两个横截方向在新数据上恢复、且 @@M@@w'@@ 满足某首一多项式 @@M@@q\in k'[t]@@。
证明先在分裂矩阵中做谱计算：把常值输入取成 @@M@@\mathbb Z/11\mathbb Z@@ 上十一个独立泛型矩阵对的直和；用 Schur 补把 “@@M@@q(W)=0@@” 等价转化为”每个特征值处的 Schur 式为零”，从而按字长逐级解方程。关键在算出修正映射的零化子：它恰由字的循环轮换轨道上的”循环和”生成，而论文前部的传递定理与”重复块加枢纽块”矩阵测试（技术性较强，从略）恰好证明这些循环和为零，故每个字长的仿射线性方程组都可解；@@M@@s_1@@、@@M@@s_2@@ 的前向边偏移取 @@M@@\{1,2\}@@、@@M@@\{3,4\}@@，保证长度不超过二的路径不回块，归纳得以启动。
再实现进真正的除环：用符号代数（symbol algebra）@@M@@u^b=\alpha,\ v^b=\beta,\ vu=\zeta_b uv@@ 与循环代数（cyclic algebra）@@M@@\tau^m=a_*@@ 张量，把十一块矩阵数据放进次数 @@M@@11bd@@ 的中心除代数；由于每步修正都是有限线性方程组的解，而秩在域扩张下不变，解可从分裂域降回中心。最后做 Taylor 平移 @@M@@Y(\gamma+s_1',s_2')@@：偏移一格的边连成有向圈，把块粘成全矩阵代数，一个秩计数 @@M@@N^2-m+(m-1)+2=N^2+1@@ 同时恢复两个横截方向；只保留必需坐标又回到可数域。
应用时从 @@M@@k_0=\overline{\mathbb Q}@@、@@M@@A_0=k_0@@ 出发迭代，把各阶段多项式按 @@M@@i+j@@ 对角次序逐一”点名”提升，确保每个表达式在有限阶段被代数化。对除代数序列取超积（ultraproduct）@@M@@\mathcal D=\prod A_i/\mathcal U@@，令 @@M@@R=k_\infty[x,y]@@：其元素全在 @@M@@k_\infty@@ 上代数，取最小次数关系（常数项必非零）即知 @@M@@R@@ 是除环。固定字长 @@M@@\ell@@ 的字在充分靠后的阶段张成维数不小于 @@M@@\ell+1@@，超滤子选出固定的无关组降到 @@M@@R@@，得 @@M@@[R:k_\infty]=\infty@@。最后取真实中心 @@M@@F=Z(R)@@：若 @@M@@[R:F]=n<\infty@@，乘法表与生成元坐标只涉及 @@M@@F@@ 的一个有限生成子扩张 @@M@@E/k_\infty@@，由此推出 @@M@@[R:k_\infty]\le n[E:k_\infty]<\infty@@，矛盾。
截至本文撰写，该手稿主结果尚无 Lean 形式化证明，请以社区核验为准；OpenAI 官方亦声明”未经形式化的结果可能有问题”。结果族 201 目前仅含这一篇手稿，无姊妹篇交叉支撑，但论文内部结构自洽：作者明确把主定理归约为代数提升定理一条（”subject only to Theorem 2.1”），其余章节逐层补齐其前提。响应分区、枢纽块测试等中间环节技术性较强，此处从略，建议读者以原文核验。
问 1：整个证明最关键、也最脆弱的一步是什么？
答：代数提升定理（文中 Theorem 2.1，作者明言主定理”subject only to Theorem 2.1”）。其心脏是谱计算后对修正映射零化子的判定：零化子恰由字的循环轮换轨道上的”循环和”生成，而传递定理与”重复块加枢纽块”矩阵测试恰好证明这些循环和为零，每个字长的仿射线性方程组才可解。零化子若多出任何意外元素，逐级点名即卡死；此处的组合测试技术性强、最难独立复核。
问 2：为什么”代数”假设绝不能加强成一致次数界？
答：那是定理与反例的分水岭。Kaplansky 证明满足多项式恒等式的代数代数局部有限；Bell–Drensky–Sharifi（2013）证明消灭多项式有一致次数上界 d 时，除环在中心上的维数至多 d²。反例必须让每个元素各自有一条消灭多项式、次数无界——加强一丝，肯定定理立刻把它压回有限维。
问 3：Golod–Shafarevich 方法早就造过”有限生成无穷维”，为什么不算答案？
答：Golod–Shafarevich 型幂零代数的单位化含非零幂零元，而除环里每个非零元都得可逆——零因子是结构性毒药。难点正在于：去掉一致次数界的同时不许引入任何零因子。本文的逐级点名 + 超极限方案是第一个同时满足两条的构造。
问 4：与已有工作相比真正的新意是什么？
答：Kurosh 除环问题悬置八十余年，本文给出首个否定回答，划清”中心代数＋二元生成”推不出”有限维”的边界。技术上还有两个此前少见的动作：构造不预先固定中心，最后用”乘法表只涉及中心的有限生成子扩张”的有限下降论证处理真实中心；以及用超积把逐阶段的有限维除代数极限化成整体除环。
问 5：AI 生成证明最可能在哪里出错？
答：三处高危。其一，响应分区、枢纽块矩阵测试这类组合装置，指标差一即全盘错位；其二，超积论证中”固定字长 ℓ 的字在充分靠后阶段张成维数 ≥ ℓ+1、超滤子选出固定无关组”依赖超滤子的选择细节；其三，”R 的元素取最小次数关系即知 R 是除环”暗用常数项非零的排除。本文无 Lean 形式化、结果族亦无姊妹篇交叉支撑，是全部十篇中防护最薄的一篇。
问 6：谁会用到它？这个边界有什么下游意义？
答：Burnside 型问题与 PI 代数社区：它确认”代数性”在非交换世界必须配一致界或恒等式才能换维数控制，Bell–Drensky–Sharifi 型定理的假设从此不可再削。论文未展开其他应用（如对除环上局部化问题的直接推论），此方向论文未讨论。
在八十余年的老问题上交出首例，构造机制（逐级点名＋超积）干净利落；但无形式化、无姊妹篇互证、核心组合装置极难自查，这是它分量与风险并存的根源。