2
$\begingroup$

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?

$\endgroup$

1 Answer 1

3
$\begingroup$

Just observe that the quotient by the ideal generated by these elements is at most 1-dimensional.

$\endgroup$
5
  • $\begingroup$ Why is that so? $\endgroup$ Dec 14, 2010 at 23:05
  • $\begingroup$ .. and why does that suffice? $\endgroup$ Dec 14, 2010 at 23:12
  • 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$
    – Bugs Bunny
    Dec 15, 2010 at 7:19
  • $\begingroup$ Whooops, I meant to say that $H/I$ is at most 1-dimensional. $\endgroup$
    – Bugs Bunny
    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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.