Introduction to Mathematical Logic, Sixth Edition
《Introduction to Mathematical Logic, Sixth Edition》 · 第 462 页 · Chapter 10，Section 10.4「Invariant Theory and Knot Polynomials」，Lemma 10.4.1
Lemma 10.4.1. Let $S \in \operatorname{End}(V \otimes V)$ and set $R = \sigma S$. Then the set of operators $\{T_1(S), \dots, T_{n-1}(S)\}$ satisfies the braid relations for all $n = 3, 4, \dots$ if and only if $R$ satisfies the Yang–Baxter equation $R_{12} R_{13} R_{23} = R_{23} R_{13} R_{12}$, where the operators $R_{ij} = R_{ij}^{(3)}$ act on $V \otimes V \otimes V$.