= Solution
Put $A=k_q[x,y]$. First describe the multiplication of the <universal measuring coalgebra> $P(A,A)$. If $C,D$ measure $A$ into itself through $p_C,p_D$, then their <tensor product> <coalgebra> measures it by
$$
(c\otimes d)(a)=p_C(c)\bigl(p_D(d)(a)\bigr).
$$
Indeed applying both measuring product rules gives the product rule for the tensor <comultiplication>, and the unit condition follows likewise. Apply universality with $C=D=P(A,A)$: composition induces a <coalgebra> homomorphism $\mu:P(A,A)\otimes P(A,A)\to P(A,A)$. The identity endomorphism induces the unit $k\to P(A,A)$. Associativity and the unit laws follow by uniqueness because both candidate <coalgebra> homomorphisms evaluate as the same compositions of endomorphisms. Thus $P(A,A)$ is a <bialgebra>.
The generator actions from Question 4 satisfy all defining relations of the <quantum enveloping algebra of sl2>, so they define an action of $U_q$ on $A$. Its skew product rules are exactly the rules from $\Delta E=E\otimes K+1\otimes E$ and $\Delta F=F\otimes1+K^{-1}\otimes F$. Products of elements satisfying the <module algebra> rule satisfy it as well: apply the two successive actions and use that $\Delta$ is multiplicative. Since the generators and unit satisfy it, the full action $p:U_q\to\operatorname{End}_k(A)$ is a measuring of $A$ into itself.
Universality therefore gives a unique <coalgebra> homomorphism $\rho:U_q\to P(A,A)$ inducing this action. To prove multiplicativity, compare the two <coalgebra> homomorphisms from $U_q\otimes U_q$ given by $\rho\mu_{U_q}$ and $\mu_{P}(\rho\otimes\rho)$. Both induce $(u\otimes v)(a)=u(va)$, so uniqueness makes them equal. The unit comparison is identical. Consequently
$$
\boxed{\rho:U_q\longrightarrow P(k_q[x,y],k_q[x,y])\text{ is a bialgebra homomorphism}.}
$$
This avoids assuming the universal measuring map is injective: equality is justified by its universal property for <coalgebra> maps.
Back to article page
