结果族 197：A torsion-free group algebra that is not directly finite · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
想象两个变换 a 和 b 像”压缩—还原”搭档：先 b 后 a 能完美复原（@@M@@ab=1@@），先 a 后 b 却会丢信息（@@M@@ba\neq1@@），一扇无限维世界的”单向门”。在有限维矩阵世界这不可能——有逆必两侧都有逆；但在无限维的群代数里呢？那里所有运算都在只有 0 和 1 的系数世界进行，加法就是异或。Kaplansky 自 1972 年起追问此事。特征零与 sofic 群的情形都已被证明规矩，本文则在无挠群上造出反例，群本身还拥有有限二维分类复形——万有覆盖可缩，几何上极其温顺。
关键词卡片
@@M@@ab=1\Rightarrow ba=1@@ 的代数性质。@@M@@\mathbb F_2[G]@@：以群元素为基、系数只有 0 和 1 的代数。@@M@@c@@：满足 @@M@@ac=0@@、@@M@@c\neq0@@ 的元素，是 @@M@@ba\neq1@@ 的显式证书。看个具体例子
公式卡（一行数字版定理）：
@@M@@Dab=1,\quad ac=0,\quad c\neq 0\ \Longrightarrow\ ba\neq 1.@@
理由：若 @@M@@ba=1@@，则 @@M@@c=(ba)c=b(ac)=b\cdot 0=0@@，与 @@M@@c\neq0@@ 矛盾。对照：有限维矩阵做不到这件事；本文取 @@M@@a=\sum g_x@@、@@M@@b=\sum g_x^{-1}@@，用握手引理保证奇度顶点成对出现、在 @@M@@\mathbb F_2@@ 中整体相消，恰好凑出 @@M@@ab=1@@，而 @@M@@c@@ 记录了反方向被抹掉的信息。
为什么值得关心
它把直接有限性的反例推进到无挠群与素域 @@M@@\mathbb F_2@@ 上，还顺带产出一个非 sofic 群——反例竟藏在几何上极其温顺的二维分类复形里。同族此前的反例群都含奇阶挠元，”去掉挠”正是本文跨越的门槛。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是”单向门”：两个变换 a、b，先 b 后 a 完美复原，先 a 后 b 却丢信息——ab=1 而 ba≠1。有限维矩阵世界里不可能（有逆必两侧都可逆），无限维世界才容得下这种门。半数学地说：对象是一个由群撑起的无限维代数，乘法按群规则展开、系数只有 0 和 1；要做的是造一个群，让这个代数里真开出一扇单向门。
第二级台阶
用本科代数精确化：域 K 上群 G 的群代数 K[G] 由群元的有限形式和构成，乘法双线性扩张；称 K[G] 直接有限，若 ab=1 蕴含 ba=1。特征零时一切群代数都直接有限，sofic 群在任意特征下亦然——因此任何反例群都必然不是 sofic 的。Kaplansky 1972 年追问正特征情形；此前已知的反例群都含奇阶挠元。
第三级台阶
定理构造了有限展示、无挠的群 G 与 F₂[G] 中元素 a、b、c，满足 ab=1、ac=0、c≠0——c 是反向失效的显式见证：若 ba=1 则 c=(ba)c=b(ac)=0，矛盾，故 ba≠1。G 还拥有有限二维分类复形，几何上极温顺；由 Elek–Szabó 定理，G 非 sofic。机制上，本文把姊妹篇”图加锥”的奇偶相消方法从”乘出零”升级为”乘出一”：同步步图中除根外一切顶点度数为奇、唯独根为偶，握手引理让不含根的分量成对相消，只留常数 1。
第一级台阶
导读的比喻是”单向门”：两个变换 a、b，先 b 后 a 完美复原，先 a 后 b 却丢信息——ab=1 而 ba≠1。有限维矩阵世界里不可能（有逆必两侧都可逆），无限维世界才容得下这种门。半数学地说：对象是一个由群撑起的无限维代数，乘法按群规则展开、系数只有 0 和 1；要做的是造一个群，让这个代数里真开出一扇单向门。
第二级台阶
用本科代数精确化：域 K 上群 G 的群代数 K[G] 由群元的有限形式和构成，乘法双线性扩张；称 K[G] 直接有限，若 ab=1 蕴含 ba=1。特征零时一切群代数都直接有限，sofic 群在任意特征下亦然——因此任何反例群都必然不是 sofic 的。Kaplansky 1972 年追问正特征情形；此前已知的反例群都含奇阶挠元。
第三级台阶
定理构造了有限展示、无挠的群 G 与 F₂[G] 中元素 a、b、c，满足 ab=1、ac=0、c≠0——c 是反向失效的显式见证：若 ba=1 则 c=(ba)c=b(ac)=0，矛盾，故 ba≠1。G 还拥有有限二维分类复形，几何上极温顺；由 Elek–Szabó 定理，G 非 sofic。机制上，本文把姊妹篇”图加锥”的奇偶相消方法从”乘出零”升级为”乘出一”：同步步图中除根外一切顶点度数为奇、唯独根为偶，握手引理让不含根的分量成对相消，只留常数 1。
构造出有限展示（finitely presented）且无挠（torsion-free）的群 @@M@@G@@：在 @@M@@\mathbb F_2[G]@@ 中有 @@M@@ab=1@@ 而 @@M@@ba\ne1@@，并附见证元 @@M@@c@@ 使 @@M@@ac=0@@、@@M@@c\ne0@@。这把 Kaplansky 直接有限性猜想的反例推进到无挠群，同时给出一个非 sofic 群。
Kaplansky 在 1972 年提出直接有限性（direct finiteness）问题：群代数 @@M@@K[G]@@ 中 @@M@@ab=1@@ 是否必推出 @@M@@ba=1@@？特征零情形由算子代数迹论证肯定；正特征下，Ara–O’Meara–Perera 对 free-by-amenable 群、Elek–Szabó 对 sofic 群给出肯定答案，因此反例群必非 sofic。同族此前的工作已在某特征二有限域上造出反例，但群含奇阶挠元。能否去掉挠、并直接用素域 @@M@@\mathbb F_2@@？本文给出肯定回答，且所得群拥有有限二维分类复形（classifying complex）——几何上极其温顺的对象，反例却藏身其中。
定理：存在有限展示的无挠群 @@M@@G@@ 及元素 @@M@@a,b,c\in\mathbb F_2[G]@@，使得
@@M@@Dab=1,\qquad ac=0,\qquad c\ne0 .@@
于是 @@M@@ba\ne1@@：若 @@M@@ba=1@@，则 @@M@@c=(ba)c=b(ac)=0@@，与 @@M@@c\ne0@@ 矛盾。元素 @@M@@c@@ 正是反向乘积失效的显式证书。附带结论：@@M@@G@@ 有限展示、万有覆叠可缩、维数至多为二，且由 Elek–Szabó 定理知 @@M@@G@@ 非 sofic。
全文分代数、概率、拓扑三层，以”标记图＋锥”为骨架。
代数核心是一条奇偶判据。取两幅浸入（immersion）同一玫瑰 @@M@@F@@ 的有限无环图 @@M@@\Gamma_A,\Gamma_B@@，把每个连通分量的抽象锥（cone）沿标记映射粘到 @@M@@F@@ 上得到二维复形 @@M@@X@@，令 @@M@@G=\pi_1(X)@@。锥把分量内一切闭路杀死，于是从根到顶点 @@M@@x@@ 的路标号给出完全确定的群元 @@M@@g_x@@。令 @@M@@a=\sum g_x@@、@@M@@b=\sum g_x^{-1}@@、@@M@@c=\sum h_y^{-1}@@。展开 @@M@@ab@@ 时考察同步步图（simultaneous-step graph）：顶点对 @@M@@(x,x')@@ 沿公共出标签同步前进一步，而贡献的群元 @@M@@g_xg_{x'}^{-1}@@ 在此步下不变，每个顶点对的度数恰为出标签集之交的大小 @@M@@|S_x\cap S_{x'}|@@。若除根 @@M@@(x_A,x_A)@@ 外所有交均为奇数、且 @@M@@|S_{x_A}|@@ 为偶数，则由握手引理（奇度顶点必成偶数个），不含根的分量各含偶数个顶点，贡献在 @@M@@\mathbb F_2@@ 中整体相消；唯含根的分量留下常数贡献 @@M@@1@@，得 @@M@@ab=1@@。同理，@@M@@A\times B@@ 的一切交均为奇数，给出 @@M@@ac=0@@。
标签设计取材于有限几何：用 @@M@@q=128@@ 的射影平面（@@M@@v=q^2+q+1=16513@@ 条线）作普通标签，顶点按线分类；再添七个附加字母，按 Fano 平面七条线的补集（四元集、两两交二元）均匀分发，使除根外一切交集为奇数，而根的标签数 @@M@@129+7=136@@ 为偶。边由随机匹配（random matching）选取并条件化在围长（girth）@@M@@\ge L@@ 上，交换论证与集合扩张估计保证分量直径为对数级。
拓扑层把随机图变成”好群”。若图中不存在简化球面排布（reduced spherical arrangement），则锥复形非球面（aspherical）且根受保护：从根出发到别的顶点的路标号在 @@M@@G@@ 中非平凡。证明用极小反例加带状手术（band surgery）：若某配对弧连接同一条图边的两次穿越，手术可把边界总长缩短二，与极小性矛盾。二维且 @@M@@\pi_2(X)=0@@ 推出万有覆叠可缩，进而 @@M@@G@@ 无挠（否则与循环群的周期自由消解的上同调相矛盾）。概率侧的收口是：先用加权计数排除”未配对比例很小”的有界路系统，再用 Lipton–Tarjan 平面分隔子递归地从任何球面排布中提取一个此类系统；参数依序选取，使一个局部计数估计即可排除全部排布。
本文暂无形式化证明，请以社区核验为准。同族姊妹篇（特征二、带挠版本）主结果已形式化，是本族的存在性枢纽；本文则发展同族”无挠零因子”一文的图与锥方法，把结论强化到素域 @@M@@\mathbb F_2@@ 与无挠群。按 OpenAI 官方声明，未经形式化的结果可能有问题，故阅读时应以社区核验为准。
问 1：代数核心是哪一步？
| 答：奇偶判据配握手引理。取 a=Σg_x、b=Σg_x⁻¹，考察 ab 展开中的同步步图：顶点对沿公共出标签同步前进一步，而贡献的群元在此步下不变。设计使除根对 (x_A,x_A) 外一切顶点对的度数 | S_x∩S_{x’} | 为奇、根的出标签数为偶（129+7=136），故不含根的分量各含偶数个顶点、在 F₂ 中整体相消，含根分量恰留常数 1，得 ab=1；A 与 B 的标签交全奇则给出 ac=0。 |
问 2：最脆弱的一环在哪里？
答：两处。其一，七个附加标签按 Fano 平面线的补集组织，须同时”制造唯一的偶度例外”又”保持一切逆标签关联数平衡”——这改变了整个随机模型，计数估计全部重证。其二，锥复形的非球面性与根保护：边的重复遍历使被比较路径不再对应两套独立随机条件，须按每条边的使用次数分层计数，且”未配对比例”要先于路径条数与长度界固定，参数次序错一点就漏构型。
问 3：与两份姊妹工作相比真正的新意是什么？
答：特征二有限域上的直接有限性反例（OpenAI2026DF）群含奇阶挠元；本文去掉挠、并落到素域 F₂。方法上承接无挠零因子一文的图锥构造与构型排除策略，但把”偶数相消得零”升级为”唯一偶度例外得一”，同时造出单向逆元与见证元 c。
问 4：为什么特征 2 与”非 sofic”值得强调？
答：相消机制本质是模 2 计数，特征 2 免费提供；素域则把系数世界的借助降到最少。反方面，Elek–Szabó 证明 sofic 群的群代数直接有限，故本群必非 sofic——顺带得到一个非 sofic 群，而它带有限二维分类复形、几何上极其温顺，这种反差正是结果扎眼之处。
问 5：AI 生成证明最可能出错的模式？
答：本文是族内未形式化的一环——姊妹两篇分别有 Lean 验证与存在性枢纽，而本文”复用并改造”其估计：新随机模型的加权计数、按边遍历重数的分层、平面分隔提取，任何一处照抄旧证而未适配新标签结构都会静默失效。复核应逐条比对这些估计与零因子一文相应引理的差异。
问 6：下游谁会受影响？
答：Kaplansky 猜想家族的清点者：零因子（已倒）、单位（Gardam 已倒）、直接有限性的无挠版本（本文推倒）之后，幂等猜想的对应反例成为下一目标；sofic 群论获得一个结构明确的非 sofic 群；一切以群代数直接有限性为前提的算子代数与 L²-不变量推理都需重查适用范围。
总评
把 Kaplansky 家族反例推到素域、无挠群且附见证元的强度，与姊妹篇咬合紧密；但它恰是族内未形式化的一环，可信度暂低于左邻右舍，社区核验前宜保留一分谨慎。
问 1：代数核心是哪一步？
| 答：奇偶判据配握手引理。取 a=Σg_x、b=Σg_x⁻¹，考察 ab 展开中的同步步图：顶点对沿公共出标签同步前进一步，而贡献的群元在此步下不变。设计使除根对 (x_A,x_A) 外一切顶点对的度数 | S_x∩S_{x’} | 为奇、根的出标签数为偶（129+7=136），故不含根的分量各含偶数个顶点、在 F₂ 中整体相消，含根分量恰留常数 1，得 ab=1；A 与 B 的标签交全奇则给出 ac=0。 |
问 2：最脆弱的一环在哪里？
答：两处。其一，七个附加标签按 Fano 平面线的补集组织，须同时”制造唯一的偶度例外”又”保持一切逆标签关联数平衡”——这改变了整个随机模型，计数估计全部重证。其二，锥复形的非球面性与根保护：边的重复遍历使被比较路径不再对应两套独立随机条件，须按每条边的使用次数分层计数，且”未配对比例”要先于路径条数与长度界固定，参数次序错一点就漏构型。
问 3：与两份姊妹工作相比真正的新意是什么？
答：特征二有限域上的直接有限性反例（OpenAI2026DF）群含奇阶挠元；本文去掉挠、并落到素域 F₂。方法上承接无挠零因子一文的图锥构造与构型排除策略，但把”偶数相消得零”升级为”唯一偶度例外得一”，同时造出单向逆元与见证元 c。
问 4：为什么特征 2 与”非 sofic”值得强调？
答：相消机制本质是模 2 计数，特征 2 免费提供；素域则把系数世界的借助降到最少。反方面，Elek–Szabó 证明 sofic 群的群代数直接有限，故本群必非 sofic——顺带得到一个非 sofic 群，而它带有限二维分类复形、几何上极其温顺，这种反差正是结果扎眼之处。
问 5：AI 生成证明最可能出错的模式？
答：本文是族内未形式化的一环——姊妹两篇分别有 Lean 验证与存在性枢纽，而本文”复用并改造”其估计：新随机模型的加权计数、按边遍历重数的分层、平面分隔提取，任何一处照抄旧证而未适配新标签结构都会静默失效。复核应逐条比对这些估计与零因子一文相应引理的差异。
问 6：下游谁会受影响？
答：Kaplansky 猜想家族的清点者：零因子（已倒）、单位（Gardam 已倒）、直接有限性的无挠版本（本文推倒）之后，幂等猜想的对应反例成为下一目标；sofic 群论获得一个结构明确的非 sofic 群；一切以群代数直接有限性为前提的算子代数与 L²-不变量推理都需重查适用范围。
总评
把 Kaplansky 家族反例推到素域、无挠群且附见证元的强度，与姊妹篇咬合紧密；但它恰是族内未形式化的一环，可信度暂低于左邻右舍，社区核验前宜保留一分谨慎。