ブレイド群
数学において、 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、と記し、直感的には幾何学的に描かれる群であり、ある意味で 対称群 を一般化する。ここに は自然数であり、 であれば、 は(infinite group)である。ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。
この導入では（他の値への一般化は容易であると思われるので）、n=4 とする。
4つの黒い点からなる集まりがテーブルの上に2組置かれている状況を考えよう。ただし各々の集まりの中で、黒い点は縦方向に整列しており、また2組の集まりは左右に向かい合って置かれているものとする（下図の黒点部分を参照）。左側の 4点と右側の 4点とを 4本の糸を使って繋ぎ合わせると、左右の4点の集合の間に1：1対応ができる。このように繋がれたものをブレイド（組みひも）と言う。それぞれの糸は他の糸の上や下を通らねばならないことがあり、このことが重要である。例えば、次の 2つの繋ぎ方は異なったブレイドを定める。
他方、「糸を引っ張る」ことにより同じに見えるようになる 2つのブレイドは、同じブレイドとする。
糸はすべて左から右へ移動することとするので、次のような結び目はブレイドとは見なさない。
任意の 2つのブレイドは、次の図式に描くように合成することができる。真ん中に現れる 2組の 4点をそれぞれ同一視し、その点で結びついている糸をつなぎ合わせる。
別の例：
ブレイド と の合成を、 と書くこととする。
4つの糸を持つすべてのブレイドの集合は、 と書かれる。上のブレイドの合成は、実際、群演算である。単位元は4本の水平な糸からなるブレイドであり、あるブレイドの逆元は、そのブレイドの中央の縦線を軸として鏡映反転させたブレイドである。 (例えば、上で述べた最初の2つのブレイドの例は、互いに逆元である。)
上記の直感的なブレイド群の議論を数学的に厳密に扱うには、代数トポロジーにおけるホモトピー的な考え方を用いる必要がある。この考え方では、ブレイド群を(configuration space)の基本群として定義する。
このことについては、の記事に概説されている。
その代わりに、ブレイド関係式を通じて純代数的にブレイド群を定義することも可能である。その場合ブレイドの図は、直感を助けるため以外には用いてはならないことに注意されたい。
ブレイド群は1925年にエミール・アルティン(Emil Artin)により明示的に導入された。、しかし、（1974年に(Wilhelm Magnus)が指摘しているように、)すでに暗には、ブレイドは、1981年のアドルフ・フルヴィッツ(Adolf Hurwitz)のモノドロミーの仕事の中に現れていた。実際、マグナスは、フルヴィッツはブレイド群を配置空間の基本群として解釈していて（組みひも理論を参照）、1962年に(Ralph Fox)と(Lee Neuwirth)により再発見されるまで、この見方をもたらす解釈は失われていた。
次の 3つのブレイドを考える。
であることは明らかであることに対し、次の 2つの関係式は全く明らかであるとは言えない。
（これらは、一枚の紙の上にブレイドを描くことによりよく理解できる。）ブレイド の間にある他の全ての関係は、上の関係式と群の公理から得ることができる。
この例を 本の糸へ一般化すると、群 が、次の表示(presentation)を通して抽象的に定義される。
ここに、最初の等式では であり、第二の等式では である。この表示は、(Artin group)と呼ばれるブレイド群の一般化を導く。ブレイド関係式として知られている三つ組の恒等式は、(Yang–Baxter equation)の理論の中で重要な役目を担う。糸がどのように捩れたり交差したりしているかを忘れると、 本の糸のブレイドは 個の元の置換を決める。この対応関係は上への写像であり、合成と整合する。従って、ブレイド群から対称群への全射群準同型 が存在する。ブレイド σ ∈ の像は、移動 である。これらの移動は対称群を生成し、位数 2 のブレイド群の関係式を満たす。この写像は対称群のコクセター群の中へのブレイド群のアルティン表示を変換する。
準同型 の核は、 の部分群であり、 本の糸の純粋ブレイド群と呼ばれ、 と書く。純粋ブレイドは、各々の糸の起点と終点が同様の位置にある。純粋ブレイド群は、短完全系列に適合する。
この系列は分裂し、従って純粋ブレイド群は自由群の半直積を繰り返し取ることとして実現される。
ブレイド群 はモジュラー群 の(universal central extension)であり、（位相的な）不変被覆群
の中の格子として実現される。
さらに、モジュラー群は自明な中心を持ち、モジュラー群はその中心 を modulo とする の商群である。同じことであるが、 の内部自己同型(inner automorphism)群と同型である。
ここで、この同型を構成する。
と定義する。ブレイド関係式より、 であることが従う後者の積を で表すことにすると、 が の中心の中に含まれることを意味するブレイド関係式
を得ることが分る。 を により生成された の部分群とすると、 であるので、この群は正規部分群であり、商群 をとることができる。 であることが分り、この同型は明確な形で表すことができる。剰余類 と は次のように写像される。
ここに、 と は標準的な(Stern-Brocot tree)の上の左と右の移動である。これらの移動はモジュラー群を生成することがよく知られている。
言い替えると、モジュラー群の共通な表示(presentation)は、
であり、ここに、
である。
ブレイド群 は、 個の穴のあいた穴あき円板の(mapping class group)と同型であることを示すことができる。これは境界円板の各穴を糸で繋げるというイメージで最も容易に可視化される。即ち、写像類群の元は穴空き円板の穴を入れ替えるので、これを糸のホモトピー、つまり糸のブレイディングと見做すことができる。
この写像類群というブレイドの解釈を通し、各々のブレイドは、周期的で規約な、あるいは、擬アノソフ的な(Nielsen-Thurston classification)として分類することができる。
ブレイドが与えられ、最初の左側の点の集まりから右の点の集まりへ新しい糸を使って繋ぎ合わせることができ、第一の図式の左側の点と第二の図式の右側の点が関係付けられる（新しく糸でブレイドを作成することなく）るとすると、絡み目や、結び目が得られる。組み紐理論のアレクサンダーの定理は、逆もまた成立するという定理であり、すべての結び目と絡み目は少なくとも一つのブレイドから得られる形となる。そのようなブレイドは、絡み目を切断することにより得ることができる。ブレイドは生成子 での語(word)として与えられるので、計算機プログラムで結び目を扱う方法として採用されている。
ブレイド関係式の(word problem)は、有効に解くことができ、 の元を生成子 の項として正規化して表す表現方法が存在する。（本質的には、ブレイドの正規化形式を計算することは、上の図の第二の図式で説明されているように、糸の引っ張ることの代数的な類似物である。）GAP (数式処理システム)は、元がこれらの生成子の項で与えられれば、 の計算を実行することができる。 また、GAP3 の CHEVIE と呼ばれるシステムでは、特別な種類のブレイド群をサポートしている。語の問題は、(Lawrence-Krammer representation)を通した有効に解くことができるかという問題でもある。
それにもかかわらず、ブレイド群についての計算問題は非常に困難な問題があるため、暗号理論への応用が提案されている。
置換による対称群の作用と類似して、様々な数学的設定において、対象の -個の組の上、あるいは、「ツイスト」を持つ -重のテンソル積上へ、ブレイド群が自然に作用する。 を任意の群、 を の元のすべての -個の組の集合で、それらの積が の単位元となる集合とすると、 は、次の形で の上へ作用する。
このように、元 と の場所を交換し、加えて、 が に対応する内部自己同型(inner automorphism)によりツイストされる — これは、 の成分の積が単位元のままであることを保証する。これはブレイド群の関係式を満たすことが確認され、実際、この式が 上の の群作用を定義する。別な例として、(braided monoidal category)は、ブレイド群の作用を持つモノイダル圏である。そのような構造は、現代の数理物理学で重要な役目を果し、量子結び目不変量を導く。
ブレイド群 の元は、行列によりより具体的に表現することができる。一つの古典的なそのような表現は、(Burau representation)であり、そこでは行列要素は一変数のローラン多項式である。ブーラウ表現が忠実であるか否かは長い間問題となっていたが、解答として に対しては否定的であることが判明した。さらに一般的に、ブレイド群が線型であるか否かは大きな未解決問題であった。1990年、(Ruth Lawrence)は、複数のパラメータに依存するより一般的な「ローレンス表現」の族を記述した。1996年、ナヤカ(C. Nayak)とフランツ・ウィルチェック(Frank Wilczek)は、 の類似を考え、ブレイド群の射影表現がような分数量子ホール効果でのある擬粒子に関する物理的意味を持っていることを提唱した。2001年頃、ステファン・ビゲロー(Stephen Bigelow)とダン・クラマー(Daan Krammer)は、独立に、すべてのブレイド群は線型であることを証明した。彼らの仕事には、変数 と に依存しない次元 の(Lawrence–Krammer representation)が使われた。これらの変数を適切に特殊化することにより、ブレイド群 は複素数上の一般線型群の部分群として実現することができる。
この考え方を無限本の糸からなるブレイドへ一般化するには、多数の方法がある。最も簡単な方法はブレイド群の帰納極限を取ることであり、そこでは結び付けている写像 は、 の 個の生成子を、 の最初の 個の生成子へ写す（つまり、自明な糸をひとつ付け加える）。ファベル(Fabel)は、完備化が異なる構造の群となる群を結果として得れるような、2つの位相が存在することを示した。ひとつは、非常におとなしい群で、無限個の穴のあいた円板の(mapping class group)に同型 — 単位円板の境界に極限を持つように穴の開いた離散集合である。
第二の群は、有限ブレイド群と同じと考えられる。各々の点 とすべてのブレイドの集合に糸を配置すると、そこではブレイドが点 から点 への経路の集まりとして定義され、従って、函数が終点上の置換となり、このワイルドな群に同型となる。興味深い事実は、この群の中の純ブレイド群が、有限ブレイド群 の逆極限と、ヒルベルトの立方体(Hilbert cube)から次の式で表される集合をマイナスした空間の基本群の双方と同型となるという事実である。