辫群是满足某些辫关系的有限生成群。它与基本群的研究有着密切的联系。

设P为欧几里得平面，Tn为P中n个互异点组成的n元组的集合，Bn为Tn的基本群。Bn由n-1辫σi生成，其中σi为将第i根弦置于第i+1根弦上面，σi-1为上述的反向缠绕，且有如下关系：

σiσi+1σi=σi+1σiσi+1，i=1,...,n-1；

σiσj=σjσi，|i-j|≠1。

B1只包含单位元；

B2为无限循环群，拥有一个生成元σ1。

考虑圆盘D, 设K是D中n个点的集合, u是D的边界上一点. 考虑D到自身的微分同胚映射f:D--＞D，并要求f(K)=K且f保持D边界不变。这样的f显然诱导了基本群 π1(D-K,u)的自同构. 假设g是另一个满足以上条件的微分同胚。 如果f和g诱导的基本群自同构一样, 我们就说f和g是等价的.

所有满足以上条件的微分同胚映射全体集合，在等价意义下构成的群称作n条弦生成辫群, 其中的元素称作辫。

辫群还可以用另一方式定义。 考虑平面上n个不同点组成的无序点组。 这样的点组构成的集合--记作M--有自然的拓扑。 M的基本群就称作n条弦生成辫群。 辫群中的的几何直观解释相当于说：两排点组之间连接n条弦(弦与弦之间无交点)。

Artin的有限实现定理就是说， 辫群的代数定义与几何定义是完全一致的。

这个结论的证明的困难之处在于如何说明辫群中的生成元的关系都来自于x_ix_j=x_jx_i以及x_ix_{i+1}x_i=x_{i+1}x_ix_{i+1}(称为辫关系)。

设Bn为辫群, Sn是n元对称群。n弦的每个辫决定n个终点的一个置换，故有群同态hn:Bn→Sn。

该同态的核Pn=Ker hn称作纯辫群。

利用Artin定理， 我们很容易写出纯半群的生成元。

辫的几何直观图形称作（正）半扭辫。 这样的半扭辫中可以挑选出一部分，作为辫群的生成元。

从直观图形上， 人们很容易验证辫群的那些辫关系。