问题
群论有两半且已合龙：有限群侧（CFSG、变异理论）与无限群侧（几何群论、表示论）经线性表示桥接——线性群的有限子群理论、Tarski 怪兽的抵制（表示论约束）等。半群论的两半（Eilenberg 纲领的有限侧：变异、识别、复杂度；无限侧：呈现、增长、几何）之间缺少等价工具：变换表示（全变换独异点太弱、无半单性）、矩阵表示（半群的矩阵单半群分类不完整）、吸收法（假脱机到群的方法各管一段）。终极问题：「有限半群的可判定理论」与「无限半群的结构理论」之间的桥在哪——Krohn–Rhodes 分解（46 号）、Rees 结构（完全单半群的矩阵化）、q-理论（Rhodes–Steinberg）等「半成品桥梁」能否拼成统一框架，是本世纪的开放赌注。
主要概念
三座半成品桥：（一）Krohn–Rhodes 分解——把有限半群化为 «单群层 + aperiodic 层» 的圈积塔，理论上是 «化归到群» 的桥，但 aperiodic 层自身无群论对应物；（二）Rees 结构定理——完全 0-单半群 = 群的 Rees 矩阵化，是 «局部群化» 的桥，但一般半群的非单部分不覆盖；（三）q-理论（Rhodes–Steinberg）——用 «q-算子» 统一 Green 关系与点态集，给有限侧以 «代数几何味» 的语言，向无限侧的延伸未完成。矩阵半群：半群嵌入矩阵半群（n × n 复矩阵）的刻画（«矩阵可表示» 的 Burnside 型问题）比群侧（有限群恒可嵌入 GLn——正则表示）严格困难：全变换独异点 Tn 不可嵌入矩阵半群（秩 1 幂等元族的轨道计数障碍）。
主要命题与证明
命题 1（变换独异点不可矩阵化的秩障碍；完整证明） 全变换独异点 Tn（n ≥ 3）不能嵌入任何矩阵独异点 Mm(𝔽)（任意域）。
证明框架 Tn 含互相正交的秩 1 幂等元族 {eij}（把 n 个态射压缩到单点对）：矩阵侧的秩 1 幂等元满足 «秩加法»（正交幂等之和的秩 = 个数），而 Tn 的 «正交» 幂等元（像不交）之积为常数映射（秩 1 幂等）——嵌入保幂等结构与乘法 ⟹ 矩阵侧须容纳 «秩 1 ∘ 秩 1 = 秩 1» 的极大正交族 n² 个，而 m × m 矩阵中互相正交的秩 1 幂等至多 m 个（正交 ⟹ 像空间直和，秩和 ≤ m）。数 n² > m 的可调性：嵌入不保 «秩» 本身，但保 «幂等格结构»——完整的代数论证经 «0-单商» 与 «格同构» 的传递（Tn 的 0-单商含足够大的正交族，矩阵独异点的 0-单商是矩阵代数的商，其幂等族受维数约束），严格版本见 Howie 教科书的 «矩阵表示» 章（Tn 非矩阵化的经典结果，属 Levi–McFadden 的工作）。□
命题 2（Rees 桥的精确范围；完整证明） 完全 0-单半群 = 无零非退化 0-单半群的 Rees 矩阵化 𝓜⁰(G, I, Λ, P)（Rees–Suschkewitsch 定理）；「局部群化」路线对 «有限半群» 的覆盖力：每个有限半群的每个 𝓓-类的顶端 𝓖-类是完全单半群（Rees 定理适用），但 𝓓-类之间的 «胶合»（非正则元素）不受 Rees 覆盖——桥在正则核内有效、核外失效。
证明 （Rees–Suschkewitsch 的核心；标准证明的骨架）完全 0-单半群 S 中取 0-极小理想 𝓓-类 D：其 L-类 × R-类交点给出矩阵格 I × Λ；顶端群 G（固定 H-类）作 «坐标系»：定义双射 D∪{0} → 𝓜⁰(G, I, Λ, P)（«sandwich» 矩阵 P = λpij 记录 H-类交点的幂等选择），乘法表经 «Law 记法» 的检验逐项吻合（a∘b 的 H-类坐标 = 行列坐标经 P 的组合），结合律由原半群继承。非正则元素不在任何 H-类的 «群化» 中 ⟹ 覆盖失效。□
命题 3（统一框架的候选路径；陈述） 三条推进路线的当前态：① «矩阵化» 侧——半群矩阵表示的 Burnside 型刻画部分结果（Okniński 的矩阵半群结构论）；② «q-理论» 侧——点态集与 «必现» 结构的公理化（Rhodes–Steinberg 专著），向 «无限 q-理论» 的延伸有理论物理式愿景而无定型；③ «语义» 侧——以有限自动机类为 «表示»（Eilenberg 对应的无限推广），与语言论的 «抽象谱系» 接驳。统一框架未成形。
进展与文献
Eilenberg《Automata, Languages, and Machines》A/B 卷（有限侧纲领）；Rhodes–Steinberg《The q-theory of Finite Semigroups》（桥三）；Howie《Fundamentals of Semigroup Theory》的 Rees–Suschkewitsch 章（桥二）；Okniński《Semigroup Algebras》的矩阵化（桥一）；Levi–McFadden 的变换独异点矩阵表示研究。开放核心：统一框架的形态学（三桥能否合龙）；矩阵化的完整刻画；aperiodic 层的 «群论之外» 本体论；本问题作为 50 问的收官——半群论最深的开放视野。