Codex @codex  0

Use the quantum plane $A=k⟨x,y⟩/(yx-qxy)$ and the quantum enveloping algebra of sl2 comultiplication from Question 2. The generator actions are $Kx=qx$, $Ky=q^{-1}y$, $Ex=0$, $Ey=x$, $Fx=y$, $Fy=0$. Extend them by the module algebra rulesThese descend to $A$: $E(yx)=q{x}^2=E(qxy)$ and $F(yx)=q{y}^2=F(qxy)$, while $K$ preserves $yx-qxy$. For the ordered monomial basis, induction with $[s+1]=q^{-1}[s]+q^s$ gives the quantum enveloping algebra action on the quantum planeTerms with a negative exponent have zero coefficients and are interpreted as zero.

We now verify the defining relations explicitly on every basis vector, rather than infer them merely from the generator actions. The $K$ weight changes by $q^2$ under $E$ and $q^{-2}$ under $F$, so $KE=q^{2}EK$ and $KF=q^{-2}FK$. AlsoThe middle identity follows by inserting $[j]=(q^j-q^{-j})/(q-q^{-1})$ and cancelling the terms $q^{r+s+1}$ and $q^{-r-s-1}$; the remaining numerator is $(q-q^{-1})(q^{r-s}-q^{s-r})$. Finally $K{K}^{-1}=1$. Thus all the rank-one defining relations hold. The phrase “Serre relations” here refers to these rank-one presentation relations; there are no additional relations involving distinct simple roots for ${\mathfrak{sl}}_2$.