Quantum enveloping algebra action on the quantum plane ($E(x^r{y}^s)=[s{]}_q{x}^{r+1}{y}^{s-1}$)

For $yx=qxy$, the quantum enveloping algebra of sl2 acts by $K(x^r{y}^s)=q^{r-s}{x}^r{y}^s$, $E(x^r{y}^s)=[s{]}_q{x}^{r+1}{y}^{s-1}$ and $F(x^r{y}^s)=[r{]}_q{x}^{r-1}{y}^{s+1}$. Negative exponents here have zero coefficients and are omitted. The quantum integer identity $[r][s+1]-[s][r+1]=[r-s]$ verifies the commutator. These operations preserve total degree and make the quantum plane a module algebra.