问题
半群 S 周期若每个元素有相等的两幂（xm = xn，m < n）；局部有限若每个有限生成的子半群有限。半群 Burnside 问题：周期 + 有限生成 ⟹ 有限？（否——自由 Burnside 半群 ⟨X ∣ wN = w2N 型呈现可无限）。细化问题（19 号）：有限生成 + 周期 + 无自由子半群 ⟹ 局部有限？ Shevrin–Volkov 纲领给出周期半群的 «理想塔» 结构（«剩余» 分层）， «无自由子半群» 类条件（«剩余有限»、 «N-幂等» 等变体）的精确力量是这一纲领的核心残余。与群论侧的对照：Zelmanov（1990）证明 Burnside 大幂指数群的局部有限性—— «周期加约束 ⟹ 有限» 在群世界是深刻定理，在半群世界整体落后（44 号 «增长分类落后二十年» 的同源现象）。
主要概念
理想塔与剩余结构
周期半群的 «理想塔»：由 «幂等核»（S 的极大子群族的并）与 «往上堆» 的理想层组成；«n-次幂空» 类、 «剩余有限» 类（有限商分离点）等是塔上的 «切片»。Shevrin–Volkov 定理群（1980 年代）：周期半群的 «局部有限性判定» 在塔的每一层有组合判据，但 «整塔» 的判定退化为与 13 号同型的 «无限公理» 问题。
无自由子半群的力量
«S 不含自由半群 F2» 对周期半群是自动的（自由半群非周期）——故 19 号的 «无自由子半群» 条件在周期世界里非平凡的含义是 «变体»： «剩余有限»、 «每个子半群含幂等元»、 «代数（代数生成的）» 等。群论侧 Zelmanov 的 «大幂指数» 条件在半群侧的对应是 «统一幂界»：存在 N 使 S 满足 xN = x2N（全 x）——这一类的局部有限性有部分结果（ «Burnside 半群簇» 的局部有限性，逐 N 逐类攻坚），完整判据未得。
主要命题与证明
命题 1（有限周期半群含幂等元与极大子群结构；完整证明） 有限半群中每个元素有幂等幂；幂等元 e 的 «H-类» H(e)（Green 关系 H = L∩R）是极大子群（含 e 的）。
证明 （幂等性）x 的幂序列 x, x²,… 有限（半群有限）⟹ 存在 m < n，xm = xn；设 t = n−m，则对一切 k ≥ m，xk+t = xk（归纳：xm+t = xm，两边乘 x）。取 k = t·⌈m/t⌉ ≥ m 且 t ∣ k：x2k = xk，幂等。（H(e) 是群）e 幂等：其 H-类 H 中任取 a，由 Green 定理（稳定对）«a L e 且 a R e» 给出 a 与 e 的 «互逆»：存在 u,v 使 ua = e, av = e 与 au = e, va = e 型元素（标准 Green 引理的 «L 与 R 类中幂等元导出互逆»），于是 H 是以 e 为单位的群（群公理逐条验证：单位 = e，a 的逆 = u（限制到 H 内））。极大性：H 是 «含 e 的最大群»（任何含 e 的子群元都在同一 H 类——群内元素的 L/R 类由左右乘可逆元不变）。□
命题 2（周期 + 局部有限的一个充分条件；完整证明） 若有限生成的周期半群 S 满足 «S 的每个元素的幂 eventually 落在有限个幂等元生成的子半群中»——更可操作的版本：若 S 满足恒等式 xN = xN+1（«一致幂等»），则 S 有限。
证明 设 S = ⟨a1,…,ar⟩ 满足恒等式 xN = xN+1。第一步（幂等性）：任何元素 w 满足 wN = wN+1，故 e = wN 幂等（e·e = w2N = wN·wN，而由恒等式 wN+k = wN 对一切 k ≥ 0 归纳成立，故 w2N = wN）。第二步（压缩）：对任何生成元 aj 与 k ≥ N，ajk = ajN；且对任何词 w，把其中一个字母的连续重复段 ajk（k > N）压缩为 ajN 不改变半群中的元素——注意恒等式对元素成立，故压缩须逐元素论证：设 w 是任意字，归纳于 |w|：把 w 分成 w′·ajk（末段），则 [w] = [w′]·[aj]k = [w′]·[aj]N（第一步的幂等链对元素 [aj] 的幂成立），即 w 等价于一个 «每字母连续段长 ≤ N» 的字。第三步（有限）：每字母连续段 ≤ N、总长 ≤ rN 的字只有有限多个（组合计数），且更长的字都被压缩到这一族中 ⟹ S 的元素集合有限。□
命题 3（Zelmanov 的群侧定理与半群侧的差距；陈述） （i）Zelmanov（1990）：固定 N，满足 xN = 1 的大幂指数群是局部有限的（Fields 级定理，工具：Lie 代数的 PI 理论）。（ii）半群侧： «xN = x2N» 类（Burnside 半群簇）的局部有限性只对小的 N 与特殊子类证明；一般 N 的局部有限性、以及 «无自由子半群» 型更弱条件的精确力量，整层开放。（iii）Shevrin–Volkov 的理想塔给出 «分层判定» 的框架， «跨层拼接» 缺少群论中 Lie 方法的工作。
现状说明 半群侧落后的原因：群侧的 «线性化»（把 Burnside 问题转成 Lie 代数）依赖逆元；半群没有逆， «线性化» 路线中断。近年（2000 年代起）的部分进展（ «局部有限的簇刻画» 逐簇积累）用的是组合与 automata 方法。□
进展与文献
Shevrin–Volkov《Identities of semigroups》与周期半群结构系列（1980 年代）；Zelmanov 的 Burnside 群定理（1990，Fields 奖工作）；M. V. Sapir 的半群簇局部有限性系列；Kublanovsky 等的 Burnside 半群研究。开放核心：Burnside 半群簇 ⟨xN = x2N⟩ 的局部有限性（一般 N）； «无自由子半群» 变体条件的谱；与 44 号增长分类的耦合（局部有限 ⟺ 多项式界的周期半群？）。