|
1
|
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. |
|||
|
|
|
2
|
Zero comodule!! 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! |
|||||||||||
|
