问题
独异点 M = ⟨X ∣ u = v⟩（u,v 是非空词，且非 «两边都是恒等» 的退化）。阿江猜想（Adian）：这样的 M 总能嵌入群——即从 M 到其泛群 G(M)（把同一关系当群关系）的自然映射是单射。等价说法：一关系独异点 «消去化»。这是半群论与群论之间最著名的桥梁问题：群论侧的平行事实（一关系群的字问题可判定、结构定理）由 Adian 在 1960 年代建立；半群侧，带左循环关系的情形可嵌入（Adian–Lallement–Preston），一般情形既无证明也无反例。猜想的意义：一关系是 «最少的结构»，若连它都不能保证忠实群化， «表示论式的» 半群理论就要另起炉灶。
主要概念
嵌入群的必要条件：消去性与 Malcev 条件
群中可消去（ax = ay ⟹ x = y），故嵌入群 ⟹ M 双侧可消去——这是必要条件但远不充分：Malcev（1937–39）给出无穷多族逐阶的 «Malcev 条件»（形如 «若 a1b1⋯anbn = a1c1⋯ 则 bn⋯b1 = c1⋯cn»），嵌入群 ⟺ 满足全部 Malcev 条件。交换情形只需一条（Ore 条件自动满足），故交换独异点 «可消去 ⟺ 可嵌入群»——命题 2 给完整证明。一关系独异点的猜想难点正在于：无法直接验证无穷 Malcev 族，而 Adian 的 «小消去» 技术只能覆盖部分关系形状。
左循环与 Adian–Lallement–Preston
关系词 u 称左循环，若 u = xy 且某个 «循环移位不回到自身» 的技术条件成立（Adian 的 C(4)/左循环图条件）。Adian（1967）与 Lallement–Preston（1972）证明：⟨X ∣ u = v⟩ 中 u（或 v）左循环时，M 可嵌入 G(M)。证明机制是 «组合小消去»：任何词的最简表示中，关系只能以 «不产生新碰撞» 的方式施加，归纳保持嵌入。一般词形（两个 «自由» 词的碰撞）超出此机制。
主要命题与证明
命题 1（嵌入群 ⟹ 可消去，及反例；完整证明） （i）若独异点 M 嵌入群则 M 双侧可消去。（ii）存在不可消去的一关系独异点（故猜想的前提是 «关系词的形状»，不是 «所有一关系独异点»——按标准约定，猜想只对 «不可消去化失败与关系形状无关联» 的精确表述负责，见文献口径）。
证明 （i）设 M 嵌入群 G：ax = ay ⟹ 在 G 中左乘 a⁻¹ 得 x = y，等式在 M 中成立 ⟹ 双侧可消去。（ii）取 M = ⟨a, b ∣ ab = a⟩。M 中 ab = a = a·1：若 M 嵌入群，消去得 b = 1。但 M 中 b ≠ 1：定义从 M 到全变换独异点 T(ℕ) 的同态 φ，φ(a) : n ↦ n+1，φ(b) : n ↦ max(n−1, 0)。验证关系：a∘b(n) = max(n−1, 0)+1 = n+1 = a(n)，故 φ(ab) = φ(a)，呈现良定义地给出同态；而 φ(b) ≠ id（1 ↦ 0），⟹ b ≠ 1。矛盾 ⟹ M 不可消去 ⟹ 不可嵌入群。□
命题 2（交换情形的 Ore 充要条件；完整证明） 交换独异点 M 可嵌入群 ⟺ M 可消去。
证明 （⟹）命题 1（i）。（⟸）交换可消去独异点上定义 x~y ⟺ ∃z : x+z = y+z（加法记号）；可消去性使 ~ 是恒等关系，商（Grothendieck 群）K = (M×M)/((x,y) ≡ (u,v) ⟺ x+v = u+y) 是群，映射 x ↦ (x,0) 是单同态（(x,0) ≡ (y,0) ⟺ x = y，用可消去性）。乘法记号同理（交换性保证 «Ore 条件» aM ∩ bM ≠ ∅ 自动成立）。□
命题 3（Adian–Lallement–Preston 与 Malcev；陈述） （i）Adian（1967）、Lallement–Preston（1972）：一关系独异点 ⟨X ∣ u = v⟩ 在 u 或 v 左循环时可嵌入其泛群；证明用组合小消去的归纳。（ii）Malcev：独异点嵌入群 ⟺ 满足无穷 Malcev 条件族；存在可消去但不满足首条以上 Malcev 条件的独异点（故 «可消去» 与 «嵌入» 在非交换世界的鸿沟是一阶的）。（iii）猜想的一般情形（两个自由词的碰撞关系）既无证明也无反例；它与 12 号（一关系字问题）共享 Adian 机器的全部技术储备。
现状说明 两个问题的技术耦合：若阿江猜想真，则一关系独异点的字问题可归约到一关系群的字问题（Adian 已判定），12 号随之解决——这是 «桥梁问题» 名称的由来；反之 12 号的独立进展（部分情形的可判定）不经过嵌入。□
进展与文献
Adian《The Burnside Problem and Identities in Groups》（1979 专著，一关系呈现的机器）；Lallement–Preston（1972）；Clifford–Preston《The Algebraic Theory of Semigroups》第二卷的嵌入章节；Malcev（1939）的嵌入条件。开放核心：一般一关系独异点的嵌入问题；«左循环» 之外的关系形状分类（哪类碰撞可由现有机器处理）；猜想对 «一关系逆半群» 等变体的平行问题。