RTT construction ($R{T}_1{T}_2=T_2{T}_{1}R$)

Given a Yang-Baxter R-matrix, take generators $t_{ij}$ subject to the displayed matrix relation, with $T_1=T\otimes I$, $T_2=I\otimes T$. The coproduct $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$ and counit $\epsilon (t_{ij})={\delta }_{ij}$ give a bialgebra. An antipode requires additional inverses or an appropriate determinant quotient; an arbitrary RTT bialgebra is not automatically a Hopf algebra.

Given an invertible braiding $C$ on $V\otimes V$, the universal bialgebra coacting on $V$ for which $C$ is a comodule map is generated by the matrix coefficients $t_{ij}$. Its comultiplication is $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$. Colinearity gives quadratic relations. Writing $R=\tau C$ turns the relation into the familiar RTT construction with the appropriate ordered tensor factors. A Yang-Baxter R-matrix supplies a scalar coquasitriangular structure.

For the two-by-two RTT construction with the standard Yang-Baxter R-matrix, the displayed determinant commutes with the matrix generators and satisfies $\Delta D_q=D_q\otimes D_q$ and $\epsilon (D_q)=1$. Imposing $D_q=1$ gives the coordinate Hopf algebra of quantum SL2; adjoining its inverse instead gives the quantum general-linear coordinate algebra.

The generators $a,b,c,d$ obey $ab=qba$, $ac=qca$, $bd=qdb$, $cd=qdc$, $bc=cb$, $ad-da=(q-q^{-1})bc$ and $ad-qbc=1$. Matrix multiplication gives the coproduct, and the antipode matrix is $\left(\begin{array}{cc}d& -q^{-1}b\\ -qc& a\end{array}\right)$. For $q\ne 0,\pm 1$, its quotient with $c=0$, $a=u$, $d=u^{-1}$ and $b=v$ is the quantum Laurent-plane algebra $uv=qvu$, proving noncommutativity. The same quotient distinguishes $\Delta b$ from its flipped coproduct.