问题
全变换独异点 Tn（n 点集上的全部变换）是 «有限半群的万有容器»（Cayley 定理：一切有限半群嵌入某 Tn）。其内部地理：哪些子半群生成 Tn？Howie 时代的经典结果：Tn 由 «3 个变换» 生成（奇偶单循环 + 一个 «合并» 变换；2 个不够—— «生成对» 的刻画）；「极小生成集的谱」「随机生成 Tn 的阈值」等统计问题近年才展开。秩谱（子半群的极小生成元个数随 «子半群类型» 的分布）的完整刻画开放。
主要概念
生成三元组与 «奇偶» 结构
Tn 的生成：置换群部分（奇置换生成 An？）+ «亏秩» 变换。经典刻画（Howie–Izhakian 线）：Tn 由 {c（n-循环），c′（奇置换），d（亏 1 的合并变换）} 生成；«2 生成 ⟺ …» 的精细条件（ «Tn 可 2-生成的 «例外»»）已知； «秩 ≤ k 的子半群谱» 是 «生成论» 的推广。
随机生成的阈值
«随机选 k 个变换，生成的子半群是 Tn 的概率» 的阈值：k = 2 时概率 «非零但小»（ «2-生成对» 的比例），k ≥ 3 时 «趋于 1» 的速率—— «随机生成» 的 «相变» 与群侧（ «随机群» 的阈值）平行但工具不同（变换的 «组合熵» 更大）。 «阈值» 的精确形状开放。
主要命题与证明
命题 1（T_n 的生成三元组与 2-生成的不可能性；完整证明骨架） Tn（n ≥ 3）可由 3 个变换生成；对 n ≥ 3 一般情形 2 个变换 «几乎» 不够（2-生成的 «例外条件» 见证明后注）。
骨架 生成集 {c, τ, d}：c = n-循环（传递性），τ = 对换（ «奇偶校正»：与 c 联合生成 Sn 的置换部分），d : 1 ↦ 2（其余固定，亏 1 合并）。«d + 置换群 ⟹ 全部亏 1 变换»（亏 1 变换是 «合并两点» 的变换，Sn 共轭下全同）；«亏 k 变换 = 亏 1 变换的积»（归纳：亏 k = 亏 1 ∘ 亏 k−1 的适当组合）。⟹ {c,τ,d} 生成。2-生成的不可能性机制：Tn 的 «亏 1 变换集合» 是 «理想»（乘积亏不增），2 个生成元中 «置换部分» 与 «退化部分» 的 «分工» 受 «组合约束»—— «例外»：某些 n（与 «n-循环的 «自合并»» 可能性相关）存在 2-生成；一般情形的不可能性的完整证明须分 «生成元亏秩» 的类型讨论（Howie–Izhakian 的完整论证），此处给出机制骨架。□
命题 2（Sierpiński 类比：一般半群的 2-生成嵌入；完整证明） 任何有限（或可数）半群同构于某 Tn 的子半群（Cayley 型定理）；且存在 «万有» 的 2-生成子半群 U ⊆ Tn（含一切可数半群为子半群，Sierpiński 1935 的定理）。
证明 （Cayley 型）半群 S → TS，s ↦ （右乘 ρs : x ↦ xs）；ρst = ρt∘ρs（注意复合顺序：(xs)t = x(st)）⟹ 同态；单射性由 «ρs(s′) = s′s» 的 «右单位» 区分（加外单位元后：1·s = s 区分）。取 n = |S|+1。（Sierpiński）构造 «万有 2-生成半群»：取 {0,1} 上的 «部分递归函数» 型编码，用两个 «万能» 变换模拟一切可数半群的乘法表（ «表编码进变换的轨道结构»）——完整构造见 Sierpiński 原文与 Howie 教科书的引述。□
命题 3（秩谱与随机阈值的开放层；陈述） （i）«秩 ≤ k 的子半群在 Tn 中的计数» 的渐近（与 23 号半群计数的 «变换实现» 版）开放；（ii）随机 k-生成的阈值（ «k 个随机变换生成 Tn» 的概率在 k 与 n 的相图）只有部分层（ «k = 2 的比例»、 «k ≥ 3 的趋于 1»）已知；（iii） «极小生成集的谱»（哪些秩值可被子半群实现）的完整刻画开放—— «万有容器» 的 «内部地理» 远未绘制完。
现状说明 «随机变换» 的组合学（ «随机变换的 «核» 与 «像» 结构»）近年（2010 年代）有实质推进（ «随机映射的分量结构» 的概率分析），为 «随机生成阈值» 提供了新的技术基础，但 «阈值定理» 尚未成形。□
进展与文献
Howie《Fundamentals of Semigroup Theory》（教科书，生成论章节）；Sierpiński（1935，万有 2-生成）；Howie–Izhakian 与 Ganyushkin–Popovich 的生成刻画；Cameron–Maxwell 与 Araújo 等的随机变换（2010 年代）。开放核心：秩谱的完整刻画；随机阈值定理； «子半群格» 的计数与 23 号的接口。