辫群

辫群编码了股线相互缠绕的方式，形成了一种代数结构，其闭合产生所有纽结和链环，其表示则产生纽结不变量。

Definition

n股辫群是一个由交换相邻股线的生成元组成的群，服从辫关系；它同时是平面上n个点的构型空间的基本群和n穿孔盘的映射类群。

Scope

本主题通过生成元和关系介绍了Artin辫群，将其描述为构型空间的基本群和穿孔盘的映射类群，并通过Garside范式解决了词问题和共轭问题。它通过Alexander定理（每个链环都是辫闭合）和Markov定理（哪些辫闭合为相同的链环）发展了辫与链环之间的联系，以及诸如Burau和Temperley-Lieb表示等产生Jones多项式的表示。

Core questions

• 哪些关系定义了辫群，以及它们为何能捕捉股线的相互缠绕？
• Alexander定理如何将每个链环实现为辫的闭合？
• 哪些辫闭合为相同的链环，如Markov定理所回答的？
• 辫群的表示如何产生像Jones多项式这样的纽结不变量？

Key concepts

• Artin生成元和辫关系
• 作为构型空间和映射类群的辫群
• Alexander和Markov定理连接辫与链环
• Garside范式和词问题
• Burau和Temperley-Lieb表示

Clinical relevance

辫群在量子纽结不变量的构建、映射类群和曲面拓扑理论以及拓扑量子计算中都至关重要，其中任意子的编织实现了量子门。

History

Artin在1925年和1947年的论文中定义并研究了辫群，确立了生成元、关系和词问题；Markov定理和后来的表示论构造将辫与纽结不变量联系起来，并通过Jones与算子代数联系起来。

Key figures

• Emil Artin
• Andrey Markov Jr.
• Vladimir Turaev

Seminal works

• kassel2008
• artin1947

Frequently asked questions

辫与纽结有何关系？

通过将每股线的顶部连接到底部来闭合辫会产生一个纽结或链环；Alexander定理指出每个链环都以这种方式产生，而Markov定理则精确描述了何时两个辫产生相同的链环。

辫群为何与量子计算相关？

在拓扑量子计算中，量子信息存储在任意子中并通过编织它们进行处理；辫群控制这些操作，使其表示成为容错量子门的模型。