结果族 247：An infinite finitely presented residually finite 2-group and a finitely presented nil algebra · 学科：Group theory · 验证状态：暂无形式化证明，请以社区核验为准
想鉴定一台无限大机器里的某个零件是不是”零号件”？把它塞进各种有限的小检测机里照 X 光：只要任何非单位元素总能在某一台机器上现形，这台机器就叫”剩余有限”。本文造出一个无限群：说明书只有有限页、经得起所有有限检测机的透视，而且每个元素转 2 的幂次圈就回到原点。
关键词卡片
看个具体例子
主角是 Steinberg 群 @@M@@\mathrm{St}_{12}(R)@@ 的有限指标子群 @@M@@G@@。检测机就是”截断商”：把代数 @@M@@R@@ 砍掉足够高的度数得到有限环，相应的 Steinberg 群是有限的 2-群；论文证明这些有限商合起来能现形一切非单位元（下图红点）。由 Zel’manov 定理，这类群的元素阶必然无界——2、4、8、16……一路涨上去。
为什么值得关心
它与姊妹篇合起来，对”有限呈现的无限周期群是否存在”给出同时满足剩余有限的完整否定回答——此前 Grigorchuk 群剩余有限却无法有限呈现。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”有限检测机照 X 光”可以更准确：对象是一台无限大的代数机器——群；检测机是到有限群的同态，元素”现形”即其像非单位。要找的机器同时满足三件事：说明书有限页（有限个生成元与关系就定死全部结构）、经得起所有检测机（任何非单位元都能在某台机器上现形）、每个零件转 @@M@@2@@ 的幂次圈必回原点。
第二级台阶
用本科术语精确化：周期群指每个元素阶有限的群；剩余有限指对每个 @@M@@g\ne 1@@ 存在到有限群的同态使其像非平凡；2-群指每元阶均为 @@M@@2@@ 的幂；普通有限呈现指自由群模有限个关系词的正规闭包所得的商。具体载体是环 @@M@@R=\mathbb F_2\oplus I@@ 上的 Steinberg 群 @@M@@\mathrm{St}_{12}(R)@@——由初等矩阵符号加 Steinberg 关系定义的抽象群，附带到初等矩阵群的自然映射。
第三级台阶
主定理：存在无限、剩余有限、具普通有限呈现的群，其中每元阶为 @@M@@2@@ 的幂——取 @@M@@\Gamma=\mathrm{St}_{12}(R)@@（@@M@@I@@ 矩阵幂零、分次有限维），再取 @@M@@G=\ker(\Gamma\to\mathrm{St}_{12}(\mathbb F_2))@@。由 Zel’manov 对限制 Burnside 问题的解答，元素阶必然无界。证明的硬点是分离 Steinberg 核 @@M@@J(R)@@：度截断商立即可见矩阵像不同的元素，核元素则要靠”相位”装置配合循环移位求值，用奇偶互素把阶同时压成奇数与 2 的幂，逼出单位元。
本文证明姊妹篇构造的无限、有限呈现的周期群 @@M@@\Gamma=\mathop{\mathrm{St}}\nolimits_{12}(R)@@ 是剩余有限的：其有限指标子群 @@M@@G@@ 中每个元素的阶都是 @@M@@2@@ 的幂，得到首个兼具”普通有限呈现＋剩余有限＋纯 @@M@@2@@-挠”的无限群，把有限呈现 Burnside 问题的否定回答又推进一层。
1902 年 Burnside 问：有限生成的周期群（periodic group，每元有限阶）是否必有限？Golod（1964）与 Grigorchuk（1980）先后造出无限的反例，且都是剩余有限（residually finite，即可用有限商区分任意非单位元）的；但 Grigorchuk 群并非有限呈现（finitely presented），而”无限周期群能否有普通有限呈现”被 Ol’shanskii–Sapir（2003）明确列为公开问题（他们构造的有限呈现挠群都带无限循环商，本身不周期）。又由 Zel’manov 对限制 Burnside 问题（restricted Burnside problem）的解答，有限生成、剩余有限且指数有界的群必有限，故所求群的元素阶必然无界。姊妹篇已造出无限有限呈现的周期群，本文在其上补齐剩余有限性与纯 @@M@@2@@-幂挠这关键一步。
主定理：存在无限、剩余有限、具普通有限呈现的群，其中每个元素的阶都是 @@M@@2@@ 的幂（文中称 2-group，群本身可以无限）。其元素阶必然无界，且所有有限商都是有限 @@M@@2@@-群（由 Cauchy 定理，奇素数不能整除其阶）。
具体实现：设 @@M@@R=\mathbb F_2\oplus I@@ 为姊妹篇构造的无限有限呈现分次代数，正度理想 @@M@@I@@ 是矩阵幂零（matrix-nil）的：任意有限尺寸、系数取自 @@M@@I@@ 的矩阵皆幂零。取 Steinberg 群（Steinberg group）@@M@@\Gamma=\mathop{\mathrm{St}}\nolimits_{12}(R)@@，则 @@M@@\Gamma@@ 无限、有限呈现、剩余有限；令 @@M@@G=\ker(\Gamma\to\mathop{\mathrm{St}}\nolimits_{12}(\mathbb F_2))@@（由分次的零度投影诱导），则 @@M@@G@@ 是有限指标子群，无限、有限呈现（Reidemeister–Schreier 定理）、剩余有限，且每元为 @@M@@2@@ 幂阶——@@M@@G@@ 即主定理中的群。
有限商来自度截断：@@M@@R_{\ge d}=\bigoplus_{b\ge d}R_b@@ 是理想，商环 @@M@@R/R_{\ge d}@@ 有限；@@M@@\mathop{\mathrm{St}}\nolimits_{12}(R/R_{\ge d})@@ 有限——其到矩阵群的核中心、中心有限指标，Schur 定理给出有限导群，而该群完美。截断立刻区分矩阵像不同的元素，真正的难点是区分 Steinberg 核 @@M@@J(R)@@。
先在稳定群 @@M@@\mathop{\mathrm{St}}\nolimits(R)@@ 中工作。第一步用分次同态 @@M@@\gamma:R\to R[t]@@，@@M@@a_b\mapsto a_bt^b@@，把核元素 @@M@@z@@ 的代表词多项式化，再把 @@M@@t@@ 代入 @@M@@L\times L@@ 循环移位矩阵（cyclic shift）@@M@@C_L@@，得 @@M@@W_z(C_L)\in J(R)@@（思想源自 Weibel 的分次 @@M@@K@@-理论转移）。本文的直接 Steinberg 计算表明：若 @@M@@z@@ 在 @@M@@\mathbb F_2@@ 上平凡，则对一切充分大的 @@M@@L@@ 有 @@M@@W_z(C_L)=1@@；取 @@M@@L@@ 为 @@M@@2@@ 的幂便知这类 @@M@@z@@ 是 @@M@@2@@ 幂挠。
第二步是本文的新装置：相位（phase）。姊妹篇的规则层级给每个足够长的非零词 @@M@@w@@ 规定起始相位 @@M@@\sigma(w)\in\mathbb Z/L@@ 与终止相位 @@M@@\tau(w)=\sigma(w)+|w|@@，@@M@@L@@ 可取任意大的奇数；相位只依赖词的基类，相位失配的乘积必为零。若 @@M@@z@@ 被所有截断漏掉，可先把它写成根之积、且每根系数都是长词（用备用坐标把长系数拆成换位子而长度不减）；再用秩一映射 @@M@@\rho(w)=u_{\sigma(w)}v_{\tau(w)}w@@ 把每根两端搬到以相位编号的新坐标（relocation 引理，误差收集进矩阵映射单射的条带子群）。此时 @@M@@C_L@@ 求值恰好分解为 @@M@@L@@ 个平移副本，中心性使每个副本都等于 @@M@@z@@，故 @@M@@W_z(C_L)=z^L@@。先选奇数 @@M@@L@@ 使第一步为零，再选足够长的代表使第二步成立：@@M@@z^L=1@@ 与 @@M@@z^{2^a}=1@@ 互素，故 @@M@@z=1@@。于是度截断分离 @@M@@\mathop{\mathrm{St}}\nolimits(R)@@ 的全部元素；再经稳定性定理（@@M@@\mathop{\mathrm{St}}\nolimits_{12}(R)\hookrightarrow\mathop{\mathrm{St}}\nolimits(R)@@ 单射，文中用有序标架给出直接同调证明）回到秩 12。最后对 @@M@@g\in G@@：其矩阵像为 @@M@@\Id+A@@、@@M@@A\in M_{12}(I)@@ 幂零，特征 @@M@@2@@ 下 @@M@@(\Id+A)^{2^a}=\Id@@，故 @@M@@g^{2^a}@@ 落入核，再用相对挠命题与单射性把它杀死，得 @@M@@g@@ 为 @@M@@2@@ 幂阶。
本文主结果暂无形式化证明（任务元数据 formalized=false），请以社区核验为准。本文与姊妹篇”An infinite finitely presented periodic group”紧密咬合：群、代数、有限呈现与词层级全部引自姊妹篇（其定理 3.7 与层级命题被显式引作输入），本文新增相位分析、检测定理与剩余有限性，两文合成对”有限呈现＋剩余有限周期群”问题的完整否定回答。按 OpenAI 官方声明，未经形式化的结果可能存在问题；最值得优先核验的是相位引理与 relocation 步骤的细节。
问 1：证明中最关键、最脆弱的一步是什么？
答：相位装置与 relocation 引理。它要把被截断漏掉的核元素 @@M@@z@@ 改写成根系数均为长词的代表，再用秩一映射把每根两端搬到按起止相位编号的新坐标，且证明 @@M@@C_L@@ 求值分解为 @@M@@L@@ 个平移副本、中心性使每个副本等于 @@M@@z@@，得 @@M@@W_z(C_L)=z^L@@。相位失配则乘积为零的规则、反向根换位子的控制、矩阵映射单射的条带子群，环环相扣，是全文最该逐行核验处。
问 2：为什么元素阶必然无界，有界不行吗？
答：不行，且是被定理逼出来的：Zel’manov 对限制 Burnside 问题的解答（2-群情形）断言有限生成、剩余有限且指数整除 @@M@@2^a@@ 的群必有限。故所求群的阶必须 2、4、8、16……一路涨上去；反过来其有限商全是有限 2-群（Cauchy 定理排除奇素因子）。
问 3：难点为什么集中在 Steinberg 核 @@M@@J(R)@@？
答：度截断 @@M@@R/R_{\ge d}@@ 是有限环，@@M@@\mathrm{St}_{12}(R/R_{\ge d})@@ 是有限群，矩阵像不同的元素立即被区分。但 @@M@@J(R)@@ 的元素在矩阵群中消失、且中心，任何”看矩阵”的检测都失明。两条计算正是为它设计：分次转移化 + 循环移位 @@M@@C_L@@ 代入。
问 4：两条计算怎么合起来杀死核元素？
答：互素夹逼。第一条：若 @@M@@z@@ 在 @@M@@\mathbb F_2@@ 上平凡，则对一切充分大的 @@M@@L@@ 有 @@M@@W_z(C_L)=1@@，且取 @@M@@L@@ 为 2 的幂得 @@M@@z@@ 是 2 幂挠；第二条：取足够长的代表使 @@M@@W_z(C_L)=z^L@@。先选奇数 @@M@@L@@ 使第一条为零，得 @@M@@z^L=1@@；与 @@M@@z^{2^a}=1@@ 联立，@@M@@\gcd(L,2^a)=1@@ 逼出 @@M@@z=1@@。
问 5：与 Golod、Grigorchuk、Ol’shanskii–Sapir 相比，新意与风险各在哪？
答：Golod 与 Grigorchuk 给出无限有限生成剩余有限 @@M@@p@@-群但非有限呈现；Ol’shanskii–Sapir 的有限呈现挠群带无限循环商、本身不周期。本文在姊妹篇的无限有限呈现周期群之上补齐剩余有限与纯 2-幂挠，三性质首次共存。风险恰在依赖：代数构造与规则层级全部引自姊妹篇，其缺口会整体传导；稳定化一步（@@M@@\mathrm{St}_{12}\hookrightarrow\mathrm{St}@@ 单射）文中给出独立同调证明，是自足的补救。
问 6：这类证明最可能出错的模式是什么？
答：相位记账的”充分长”选择——先定奇数 @@M@@L@@ 再找足够长代表，两参数的先后次序若被写反，互素论证就悄悄失效；relocation 中”长度不减”的备用坐标拆分也属细粒度组合账。本文无形式化背书，是典型需社区逐条复核的对象。
问 7：谁会用这个结果？
答：几何群论与群论拓扑：它对 Ol’shanskii–Sapir 列出的”无限周期群能否普通有限呈现”给出加强版否定回答（还附加剩余有限），与姊妹篇合成完整反例；对研究剩余有限性、pro-2 理论与 Burnside 型问题的人是基准反例。
总评
与姊妹篇合璧即成”有限呈现周期群”问题的完整否定回答，本篇补上的剩余有限性与 2-幂挠是关键一环；最大风险在相位–relocation 机制与对姊妹篇构造的完全依赖，且两文均无形式化。