问题
有限生成半群 S = ⟨A⟩ 的增长函数 γ(n) = |{长 ≤ n 的字可表示的元素}|。群论侧：Wolf–Gromov 定理（多项式增长 ⟺ 亏损亚幂零）与 Grigorchuk 构造（中间增长群）给出完整图景；半群侧整体落后二十年——连最基本的问题「多项式增长半群的分类」都未完成（正则情形已知：Malkov–Shoji 等证明正则半群的多项式增长 ⟺ 群的亏格结构；一般情形只有零星结果）。中间增长、指数谱、增长等价类的代数刻画均开。
主要概念
增长等价：γ₁ ≼ γ₂（存在 C 使 γ₁(n) ≤ Cγ₂(Cn)+C）与双向 ≼ 的等价类。正则半群：有限生成的正则半群有群的「核」（最小理想，完全单半群 Rees 矩阵型），增长由核的增长与核外「漏斗」结构决定。增长基引理（Gromov 论证组合侧的一半）：多项式增长 ⟺ 增长满足多项式上界与 «双向» 折叠性质——半群侧缺失的是 «折叠» 的代数化（群侧由逃逸速度引理完成）。自由半群的增长 γ(n) = |A|n+…（指数），子半群可任意野（嵌字问题）。
主要命题与证明
命题 1（正则情形的多项式刻画；完整证明框架） 有限生成正则半群 S 的增长是多项式 ⟺ 其核群（最大子群）是多项式增长群。
证明框架 （⟹）核 K = Rees 矩阵半群 𝓜(G, I, Λ, P)：其增长 = G 的增长 × |I·Λ|（有限）。固定一组矩阵坐标 (𝑖, λ)，映射 g ↦ (𝑖, g, λ) 把 G 嵌入 K ⊆ S；长 ≤ n 的字若表示了 G 中 N 个不同元素，则 γ(S, n) ≥ N，故 γ(G) ≼ γ(S) 是多项式 ⟹ G 是多项式增长群（Wolf–Gromov）。（⟸）核群多项式增长，而正则 + 有限生成 ⟹ 核外的 𝓓-类构成有限链且每层有限（每层的 ε-类与顶端群有限），故 γ(S) ≼ γ(G)·多项式因子。完整证明见 Malkov（1999）与 Shoji 的系列论文。□
命题 2（一般情形的反例机制；完整证明） 存在非正则半群 S，其增长是多项式（实为线性）但不含多项式增长的最大子群结构——增长分类不能照搬群论路线。
证明 取有限生成交换型独异点 S = ⟨a, b | ab = b⟩（「左吸收」独异点）。其元素恰为 {1, am, ambk : m, k ≥ 0}（验证：ambk·am′ = am(bkam′) = amam′ = am+m′，混合字经吸收关系全部化简为上述两族）。长 ≤ n 的可表示元素即 {(m,k) : m+k ≤ n}，γ(n) = Θ(n²)——二次多项式增长。但 a 非正则：若 axa = a，由元素分类 axa 只能是 1、am 或 ambk 型的乘积，逐族验证 axa ∈ {am+1 型, b 结尾型}，无一等于 a ⟹ S 非正则而多项式增长。此例说明「多项式 ⟸ 正则核」的路线在一般半群失效：增长可由幂等型吸收结构独立于群的贡献达成。□
命题 3（中间增长的半群实现；陈述） 有限生成半群的中间增长可由极简单构造实现（如「语言型」独异点：取增长受控但非多项式非指数的形式语言作为独异点的字集——Kobayashi 型构造），但 «自然» 的中间增长半群（类比 Grigorchuk 群的自相似机制）与增长谱的完整刻画开放。
进展与文献
Wolf–Gromov 的群论基准；Malkov 与 Shoji 的正则半群增长系列（1990 年代末）；Kobayashi 的半群增长与形式语言（2010）；Cassaigne–Karhumäki 的增长谱例；Grigorchuk 的中间增长群综述。开放核心：一般多项式增长半群的分类（命题 2 显示需要新不变量）；增长等价的代数刻画；中间增长的自然构造；增长与automatic性（48 号）的耦合。