The above composition of braids is indeed a group operation.
上のブレイドの合成は、実際、群演算である。