# Coideals of Hopf algebra coming from right (left) coideals K->K^+

If $H$ is a Hopf algebra over a field and $K$ is a a right or left coideal of $H$ then $K^+=K\cap\ker\epsilon$ is a coideal of $H$. Does this hold when $k$ is a commutative ring? If not what is a counter example.

Thanks!

-
Is $K^+$ defined as $K\cap \mathrm{Ker}\varepsilon$ or $\left(\eta\varepsilon-\mathrm{id}\right)\left(K\right)$ ? –  darij grinberg Aug 8 '11 at 15:12