Quasitriangular Hopf algebra

A Hopf algebra, H, is quasitriangular if there exists an invertible element, R, of $H\otimes H$ such that

• $R\ \Delta (x)=(T\circ \Delta )(x)\ R$ for all $x\in H$, where $\Delta$ is the coproduct on H, and the linear map $T:H\otimes H\to H\otimes H$ is given by $T(x\otimes y)=y\otimes x$,

• $(\Delta \otimes 1)(R)=R_{13}\ R_{23}$,

• $(1\otimes \Delta )(R)=R_{13}\ R_{12}$,

where $R_{12}=\phi _{12}(R)$, $R_{13}=\phi _{13}(R)$, and $R_{12}=\phi _{12}(R)$, where $\phi _{12}:H\otimes H\to H\otimes H$, $\phi _{13}:H\otimes H\to H\otimes H$, and $\phi _{23}:H\otimes H\to H\otimes H$, are algebra morphisns determined by

$\phi _{12}(a\otimes b)=a\otimes b\otimes 1,$

$\phi _{13}(a\otimes b)=a\otimes 1\otimes b,$

$\phi _{23}(a\otimes b)=1\otimes a\otimes b.$

R is called the R-matrix.

As a consequence of the properties of quasitriangularity, the R-matrix, R, is a solution of the Yang-Baxter equation. Also as a consequence of the properties of quasitriangularity, $R^{-1}=(S\otimes 1)(R)$, and $R=(1\otimes S)(R^{-1})$, and so $(S\otimes S)(R)=R$.