組み紐 (数学)
ブレイド群は語の問題(1926年にアルティンが解決))、共役問題(Garside が解決)が解ける群である。
ブレイド群 B1 は自明な群、B2 は無限巡回群、B3 は無限非可換群で三葉結び目の結び目群(補空間の基本群)と同型である。
自明なブレイド(ブレイド群の単位元)以外のブレイド b の冪 b は任意の n に対して自明でない。つまりブレイド群はねじれ元を持たない。
n≥3 のとき、ブレイド群 Bn は二元生成の自由群を部分群として持つ。
不変量(スタブ)