アレクサンダーの定理は、絡み目／結び目がブレイドのブレイディング・クロージャであることを主張する。つまり、xを絡み目とすると、適当なブレイドbがあって、x = Cl(b) と書ける。Clはクロージャ。ここで、Cl(b)は、一種の正規形表現だと解釈できる。つま…