# Trivial Hopf Coinvariant Subspace Example

For $G,H$ Hopf algebras, and $\pi:G \to H$ a Hopf algebra map, can some-one give me an example of a (right) $H$-comodule $(V,\Delta_R)$, such that $$(G \otimes V)^{\text{co}H} = \lbrace g_{(1)} \otimes v_{(0)} \otimes \pi(g_{(2)})v_{(1)} = g \otimes v \otimes 1 ~ | ~ g \otimes v \in G \otimes V) \rbrace = \lbrace 0 \rbrace.$$

\bigskip

Edit: Ideally, I'd like $G$ to be the coordinate algebra of a Drinfeld--Jimbo quantum group. But I'm interested in other (non-trivial) examples also.

-

If you want something more halloweeny, take $G$ to be a field, $H$ - a Hopf algebra, not a field, $V$ - any simple nontrivial $H$-comodule...
EDIT: as asked, $G$ is any Hopf algebra with a simple non-trivial comodoule, $H=G\otimes G$, the map is $x\mapsto x \otimes 1$, $V$ is a simple nontrivial $1\otimes G$-comodule (and hence $H$-comodule)... Bingo!
I was hoping for something more like $G$ the coordinate algebra of a Drinfeld--Jimbo quantum group . . . maybe I should have specified this in the question. –  Dyke Acland Jul 23 '12 at 17:12