Artin 群的辫图

我们定义了二维 orbifold 的辫群，并引入了绘制辫图的约定。我们利用这些将对应于球面 Coxeter 图 A_n、B_n=C_n 和 D_n 以及仿射图 tilde{A}_n、tilde{B}_n、tilde{C}_n 和 tilde{D}_n 的 Artin 群实现为各种简单 orbifold 的辫群的子群。其中 D_n、tilde{B}_n、tilde{C}_n 和 tilde{D}_n 的情形是新的。在每种情形下，Artin 群都是具有 abelian 商群的正规子群；除 tilde{A}_n 外所有情形中该商群都是有限的。我们通过用图画在 D_n 型 Artin 群中执行一个非平凡计算，来说明我们的辫演算的价值。