Let $(A,\Delta)=:F(G)$ be a **finite dimensional** $\mathrm{C}^\*$-Hopf algebra, and so the algebra of functions on a *quantum group* $G$.


Let $J$ be a closed ideal in $F(G)$ and $\pi:F(G)\rightarrow F(G)/J$ the quotient map. Suppose that $J$ is such that
$$\Delta(J)\subset \ker(\pi\otimes\pi).$$
Such ideals are called *Woronowicz $\mathrm{C}^\*$-ideals*.




---


When $A$ is commutative, so that $G$ is a finite group, Woronowicz $\mathrm{C}^\*$-ideals correspond to functions that vanish on a distinguished subgroup $H$, and the quotient map, via $F(G)/J\cong F(H)$, $\pi\_H$ given by:
$$\pi\_H\left(\sum\_{t\in G}a\_t\delta\_t\right)=\sum\_{t\in H}a\_t\delta\_t,$$
and $J=\{f\in F(G)\,:\,f(H)=\{0\}\}$. In this commutative case, if $f\in J$, then so is $S(f)$. If $J$ is proper, then $\varepsilon(f)=0$.




---


In Remark 2.10 of [this paper](https://projecteuclid.org/euclid.cmp/1104272163) (p.667), Wang says that for noncommutative $F(G)$ we still have $S(J)\subset J$ and $\varepsilon(J)=\{0\}$ for $J$ a Woronwicz $\mathrm{C}^\*$-ideal ($J$ must be proper for this second condition to hold).


I can show using the antipodal property that if $S(J)\subset J$ then $\varepsilon(J)=\{0\}$... but $S(J)\subset J$ is eluding me.



> 
> **Question:** How does $S(J)\subset J$ follow?
> 
> 
> 




---


**Some Efforts:**


We have that 
$$F(G)\otimes \ker \pi+\ker\pi\otimes F(G)\subset \ker(\pi\otimes \pi),$$
and I believe that due to finite dimensionality 


$$\ker(\pi\otimes\pi)=F(G)\otimes \ker \pi+\ker\pi\otimes F(G).$$


This means that if $j\in J$, and
$$\Delta(j)=\sum\_i j\_{(1),i}\otimes j\_{(2),i},$$
that for each $i$, either $j\_{(1),i}$ or $j\_{(2),i}\in J$.


If we write $j\in J$ in terms of the matrix elements of irreducible unitary representations:
$$j=\sum\_\underset{\alpha\in\text{Irr}(G)}{i,j=1}^{d\_\alpha}a\_{ij}^{\alpha}\rho\_{ij}^\alpha,$$
that
$$j^\*=\sum\_\underset{\alpha\in\text{Irr}(G)}{i,j=1}^{d\_\alpha}\overline{a\_{ij}^{\alpha}}S(\rho\_{ji}^\alpha)\in J,$$
as $J$ is a $\mathrm{C}^\*$-algebra and $S(\rho\_{ij}^\alpha)=(\rho\_{ji}^\alpha)^\*$.




---


Any help would be appreciated... I just fear there is something simple here that I am missing.



Invariance of Finite Dimensional Woronowicz $\mathrm{C}^*$-ideals under the Antipode
If you continue reading [Wang's paper (project Euclid link)](https://projecteuclid.org/download/pdf_1/euclid.cmp/1104272163), it becomes a little clearer I think. His Theorem 2.11 says that if $J$ is a Woronowicz $C^\*$-ideal is a Woronowicz $C^∗$-algebra $A$, then $A/J$ has canonically the structure of a Woronowicz $C^∗$-algebra. The proof only verifies this for the compact matrix quantum group case (here using modern language) but the proof also works for the compact quantum group case (verify the "cancellation laws", that is, the axioms in definition 2.1'' in Wang's paper).


So, we reduce the problem to having two compact quantum group algebras $A,B$ and a (surjective) $\*$-homomorphism between them $\theta:A\rightarrow B$ which intertwines the coproducts. In generality (e.g. this still holds for locally compact quantum groups, in an appropriate sense, see section 12 of [Kustermans's paper (arXiv)](https://arxiv.org/abs/math/9902015)) this means that $\theta S \subseteq S \theta$.


For you, $A$ is finite dimensional, and so $B$ is, and so $S$ is everywhere defined, and so $\theta S = S\theta$. In particular, if $a\in J$ then $\theta(a)=0$ so $\theta S(a)=0$ so $S(a)\in J$. Further, as $A$ and $B$ are actually Hopf algebras, I'm sure one can give a Hopf-algebraic proof; I don't know how to do this quickly, so I'll again refer to some references. [Van Daele's paper (AMS Pdf)](https://www.ams.org/journals/tran/1994-342-02/S0002-9947-1994-1220906-5/S0002-9947-1994-1220906-5.pdf) is good to read anyway, and we find Lemma 5.5 which says:



> 
> For a (Multiplier) Hopf algebra the following are equivalent:
> 
> 
> 1. $a\otimes S^{-1}b = \sum\_i (a\_i\otimes 1)\Delta(b\_i)$
> 2. $\Delta(a)(1\otimes b) = \sum\_i \Delta(a\_i)(b\_i\otimes 1)$.
> 
> 
> 


Notice that the Woronowicz cancellation axioms fit into this idea, showing in particular that we can write any element as a sum as in (1) (this is always true in a Hopf algebra). Thus given $a\otimes S^{-1}b = \sum\_i (a\_i\otimes 1)\Delta(b\_i)$ we have that (2) holds, so apply $\theta\otimes\theta$ to see that $\Delta(\theta(a))(1\otimes\theta(b)) = \sum \Delta(\theta(a\_i))(\theta(b\_i)\otimes 1)$ giving (2) in the algebra $B$, so also (1) holds, then use intertwing again to see $\theta(a)\otimes S^{-1}\theta(b) = (\theta\otimes\theta)(\sum (a\_i\otimes 1)\Delta(b\_i))$ but this equals $\theta(a)\otimes \theta S^{-1}(b)$. Hence $S^{-1}\theta = \theta S^{-1}$.


