Welcome to MathOverflow

Question

0

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?

flag	asked Dec 14 2010 at 21:19 Dyke Acland 462●3●10

Bugs Bunny · Accepted Answer · 2010-12-14 22:57:23Z UTC

2

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

answered Dec 14 2010 at 22:57

Bugs Bunny
4,932●3●18

Why is that so? – Dyke Acland Dec 14 2010 at 23:05

.. and why does that suffice? – Dyke Acland Dec 14 2010 at 23:12

1

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. – Bugs Bunny Dec 15 2010 at 7:19

Whooops, I meant to say that $H/I$ is at most 1-dimensional. – Bugs Bunny Dec 15 2010 at 7:20

Great! Thanks for that. I was trying to formulate a proof using the divisor theorem for polynomials, but your method is alot easier. – Dyke Acland Dec 15 2010 at 14:37

Generators of the Augmentation Ideal (Counit Kernel)

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.