关于 Cohen-Wu 同态的单射性

我们给出一种新的初等证明，证明从 Milnor 构造 $F[S^1]$ 到纯 braid 单群 $\mathrm{AP}$ 的自然映射是单射的。我们的方法是群论的，不依赖于 Lie 代数。