For $H$ a Hopf algebra, with bijective antipode. For a right, and a left, $H$-comodule $(V,\alpha_R)$, and $(W,\alpha_L)$ respectively, the cotensor product of $V$ and $W$ is $$ V \square_H W := \ker(\alpha_R \otimes \text{id} - \text{id} \otimes \alpha_L:V \otimes W \to V \otimes H \otimes W). $$

When does it hold that $$ V \square_H H ~~~ \simeq V? $$

  • $\begingroup$ Transferred from Stack Exchange due to no answer . $\endgroup$ Jan 6, 2017 at 11:28
  • 2
    $\begingroup$ Always, and you just need $H$ to be a coalgebra with a counit $\varepsilon$: use the maps $\mathrm{id}\otimes\varepsilon:V\otimes H\to V$ and $\mathrm{id}\otimes\varepsilon:V\otimes H\otimes H\to V\otimes H$ to split the equalizer. $\endgroup$ Jan 6, 2017 at 13:55
  • $\begingroup$ Can you explain "split the equalizer" please? $\endgroup$ Jan 6, 2017 at 14:28
  • 3
    $\begingroup$ It is a standard abstract nonsense trick, see e. g. in nLab $\endgroup$ Jan 6, 2017 at 14:33

1 Answer 1


For any $H$-comodule $V$ you have its structure map $\rho:V\to V\otimes H$. The image of $\rho$ is the equalizer defining cotensor product.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.