All Questions

A complex (finite-dimensional) Hopf algebra is said to be a Kac algebra if it is a ${\rm C^{\star}}$-algebra in such a way that the comultiplication $\Delta$ is a $\star$-homomorphism. Obviously, a (...

Let $(A, \Delta_A)$ and $(B, \Delta_B)$ be two compact quantum groups (in the sense of Woronowicz). I would be tempted to define a morphism $(A, \Delta_A) \to (B, \Delta_B)$ to be a unital $*$-...

Let $SU_q(2)$ be the (polynomial) Hopf algebra introduced by Woronocicz called the quantum special unitary group. For details see https://en.wikipedia.org/wiki/Compact_quantum_group (Note that on the ...

Let $F(G)$ be the algebra of functions on a finite quantum group $G$ (so that $F(G)$ is a finite dimensional $\mathrm{C}^*$-Hopf algebra). Suppose that $\{p_i:i=0,\dots,d-1\}\subset F(G)$ is a ...