No label defined (Q4520199)

Let \(H\) be a Hopf algebra, \(A\) a left \(H\)-module algebra and let \(\sigma\colon H\otimes H\to A\) be a bilinear map. Define a multiplication in \(A\#_\sigma H=A\otimes H\) by \[ (a\#_\sigma h)\cdot(b\#_\sigma g)=\sum a(h_1\cdot b)\sigma(h_2, g_1)\#_\sigma h_3g_2,\quad a\#_\sigma h, b\#_\sigma g\in A\#_\sigma H. \] If \(A\#_\sigma H\) is an associative algebra with the identity \(1\#_\sigma 1\), then \(A\#_\sigma H\) is called a crossed product algebra. When \(A=k\), the crossed product \(k\#_\sigma H\) is called a twisting product, denoted by \(K_\sigma[H]\). Dually, let \(C\) be a left \(H\)-comodule coalgebra and \(\alpha\colon C\to H\otimes H\) be a ``\(2\)-cocycle''. One can define a crossed coproduct coalgebra \(C\times_\alpha H\) and a twisting coproduct \(K_\alpha(H)\) when \(C=k\). Assume \(H\) is cocommutative. The author proves that a twisting product \(K_\sigma[H]\) is a bialgebra if and only if \(\sigma^2=\sigma\), where \(\sigma^2=\sigma*\sigma\) is the convolution product. And if \(\sigma^2=\sigma\) and \(\sum\sigma(h_1,Sh_2)=\varepsilon(h)\), \(\forall h\in H\), then \(K_\sigma[H]\) is a Hopf algebra. Furthermore, let \(H\) be a finite-dimensional cocommutative Hopf algebra, \((D(H),R)\) be the Drinfeld double and let \(K_\sigma[H]\) be a twisting product with \(\sigma\) invertible. Then the twisting coproduct \(K_\alpha(H^0)\) is a left \(H^{op}\times H^0\)-comodule coalgebra with respect to \((H^{op}\times_\alpha H^0,\tau)\), where \((H^{op}\times_\alpha H^0,\tau)\) is the dual of \((D(H),R)\) and \(\alpha\) is the dual map of \(\sigma\). Let \(A\) be a Hopf algebra, \(B\) be a left \(A\)-comodule algebra and let \(D\) be a left \(A\)-module coalgebra. The author shows that if \(M\) is a relative \((D,B)\)-Hopf module then \(M^0\) is a relative \((B^0,D^0)\)-Hopf module.