Skip to main content
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link
Jianrong Li
  • 6.2k
  • 2
  • 21
  • 34

Module algebras and comodule algebras

Let $H$ be a Hopf algebra and $A$ an algebra. Let $H^*$ be the dual Hopf algebra of $H$. Then by Proposition 1.6.11 in the book Foundations of Quantum Group Theory by Shahn Majid, $A$ is a right $H$-comodule algebra if and only if $A$ is a left $H^*$-module algebra.

If the right coaction of $H$ on $A$ is given by $a \mapsto \sum a_{(0)} \otimes a_{(1)}$, then the left $H^*$-action on $A$ is given by $f \mapsto \sum a_{(0)} \langle f, a_{(1)} \rangle$, where $\langle \cdot, \cdot \rangle$ is the pairing between $H^*$ and $H$.

Can "right $H$-comodule algebra" in the above proposition be replaced by "left $H$-comodule algebra"? Is the following also true?

$A$ is a left $H$-comodule algebra if and only if $A$ is a left $H^*$-module algebra.

Thank you very much.