For the Hopf algebra $SL_q(N)$ it is clear that the kernel of the counit contains the ideal generated by the elements $(u^i_i-1)$ and $u^i_j$, for $i \neq j$. However, I cannot seem to arrive at at proof that it is in fact generated by these elements. Does anyone how to do this?
1 Answer
$\begingroup$
$\endgroup$
5
Just observe that the quotient by the ideal generated by these elements is at most 1-dimensional.
-
-
-
1$\begingroup$ Let $I$ be the ideal of your quantum group $H$ generated by your guys. Every generator is scalar modulo $I$, thus $I$ is at most 1-dimensional. Bingo!! $I$ sits in the kernel of counit and you have inequality on codimensions that allows you to conclude that they are equal. $\endgroup$ Dec 15, 2010 at 7:19
-
$\begingroup$ Whooops, I meant to say that $H/I$ is at most 1-dimensional. $\endgroup$ Dec 15, 2010 at 7:20
-
$\begingroup$ Great! Thanks for that. I was trying to formulate a proof using the divisor theorem for polynomials, but your method is alot easier. $\endgroup$ Dec 15, 2010 at 14:37