Содержание раздела:
Наша цель — наметить подход к изучению кос с помощью алгебраической структуры.
Косы из одинакового числа нитей можно умножать, соединяя правые концы нитей первой косы с левыми концами нитей второй косы (и сжимая полученную фигуру в два раза).
Определение. Произведением геометрических кос $A,B\subset \mathbb {R} ^{2}\times [0,1]$ из одинакового числа нитей называется геометрическая коса из того же числа нитей, состоящая из таких точек $(p,t)\in \mathbb{R}^{2}\times [0,1]$, что
$$ \begin{align*}(p,2t)&\in A,&&0\leq t\leq 1/2,\\(p,2t-1)&\in B,&&1/2\leq t\leq 1.\end{align*} $$
Произведением кос $\alpha$ и $\beta$ из одинакового числа нитей называется коса $\alpha\beta$, заданная произведением любых их геометрических представителей.
В общем случае умножение некоммутативно, т. е. $\alpha\beta$ может быть не равно $\beta\alpha$:
Данные геометрические косы не изотопны, потому что….?
Но некоторые отдельные пары кос коммутируют, т. е. перестановочны:
Тривиальной геометрической косой из $n$ нитей называется геометрическая коса, нити которой являются прямыми отрезками, перпендикулярными основным плоскостям. Тривиальной косой из $n$ нитей называется соответствующий ей класс эквивалентности.
Тривиальная коса обозначается символом $1$ или $1_n$. Обозначение восходит к теории групп.
Характеристическим свойством тривиальной косы является то, что для любой косы $\beta$ выполняется цепочка равенств:
$$ \beta 1=1\beta =\beta. $$
А именно, с помощью оптической иллюзии получается равенство:
Таким образом, операция умножения на множестве $B_n$ имеет нейтральный элемент.