问题
独异点 M 的单位群 U(M)（可逆元）是群；反向：每个群都可成为某独异点的单位群（平凡：取 M = G ⊔ {0}）。本问的实质：固定 «独异点侧的表现资源»（有限生成、有限表现、呈现复杂度），U(M) 的群谱如何变化？ «极小表现独异点 ⟹ 何种群» 的精确谱是半群理论的入口问题（与半群分册联动）。
主要概念
实现的多重性与极小性
同一群 G 可作为无穷多独异点的单位群—— «加 0»、 «加恒等塔»、 «矩阵化»（M = Mat(n, S) 的单位群 = GL(n, S) 型）各给一族。 «极小实现» 问的是 «最省资源的独异点»：生成元数、关系数、关系长度。
群完备化
交换独异点的 «群完备化»（Grothendieck 群）给出 «最贴近的群 »；非交换的 «万有群»（万有局部化）与 K 理论的 «+ 构造 » 是同一家族—— «独异点 → 群» 的箭头在两个方向上都有 «单位群» 与 «完备化» 的对偶结构。
主要命题与证明
命题 1（自由独异点的单位群平凡，完整证明） ⟨a, b⟩（自由独异点，无关系）的单位群平凡。
证明 自由独异点的元素 = 字，含恒等字 ε。字 w 可逆需有 v：wv = vw = ε。串接自由性：|wv| = |w| + |v| = 0 ⟹ |w| = |v| = 0 ⟹ w = ε。□
命题 2（双循环独异点：一条关系制造非平凡单位结构，完整计算） M = ⟨a, b | ab = 1⟩（双循环独异点）的单位群平凡，但 ba ≠ 1—— «单向可逆 » 的标准样例。
证明 双循环独异点的元素 = ambn（m, n ≥ 0，正规形：利用 ab = 1 反复消 «a 后接 b»）。可逆性：设 x = ambn 有逆 y = apbq：xy = 1。计算 xy：ambnapbq 中段 bnap：若 n, p ≥ 1 则 «b a» 段不可消（关系只有 ab 型），正规形长 |m| + n + p + |q| ≥ 2 ≠ 0；故 n = 0 或 p = 0。分情形收口：n = 0：xy = am+pbq = 1 需 m + p = 0 且 q = 0 ⟹ m = p = q = 0；p = 0 同理。故唯一单位是 1。而 ba ≠ 1：正规形 ba 长 2 ≠ 0（关系 ab = 1 是 «a 后 b» 方向，ba 不受影响）——双循环独异点因此是 «不可逆但单边 » 的最小样本。□
命题 3（有限生成的群可实现为有限生成独异点的单位群，完整证明） G 有限生成 ⟹ 存在有限生成独异点 M 与 U(M) ≅ G；G 有限表现 ⟹ M 可取有限表现。
证明 取 M = G ⊔ {0}，乘法：群内照旧、零吸收一切。生成元：G 的生成元 + 零元（有限）。关系：G 的表现关系 + «零吸收 » 有限多条（对每个生成元 s：0·s = 0 = s·0）——有限条。单位群：0 非单位（0² = 0 ≠ 1 假设 G 非平凡；平凡情形直接 M = G），单位恰为 G 的元素 ✓。□
命题 4（谱的空白，诚实陈述） ①«极小表现独异点 ⟹ 群类» 的精确谱未明：已知 «独异点呈现复杂度 ≤ c ⟹ 单位群呈现复杂度 ≤ f(c)» 型的单向不等式族，反向 «压缩» 是否可能开放；②«每个可数群都是某 2 生成独异点单位群的商» 型 «万有实现 »（经双循环结构的商塔）已知， «商» 能否去掉是著名的开放缺口。
说明 ②的机制：双循环独异点 B = ⟨a, b | ab = 1⟩ 的 «单位轨道 » 结构经 «商» 可以 «装载 » 任意群——类似 «每群是二生成群的商»（HNN 万有性）的独异点版； «商能否免» 对应 «万有实现 vs 忠实实现» 的鸿沟，与 ③ 的 «复杂度压缩 » 是同一枚硬币。□
进展与文献
Clifford–Preston《The Algebraic Theory of Semigroups》（双循环独异点与单位群的标准库）；Kilibarda（独异点单位的计数谱系）；Quillen 的 «+ 构造 » 与群完备化（交换情形 Grothendieck 群的标准理论）；Lallement《Semigroups and Combinatorial Applications》。本问是通往半群分册的正式入口： «单位群谱» 的精细问题（ «哪个群是 «2 生成 2 关系» 独异点的忠实单位群»）在半群分册有专属条目；与本册问题 24 号（ «群自由积» 的独异点侧）相邻。