Hopf \(\pi\)-crossed biproduct and related coquasitriangular structures. (Q2438313)

Let \(\pi\) be a group, \(H=(\{H_\alpha\},\Delta,\varepsilon,S)\) a Hopf \(\pi\)-coalgebra over a field \(k\), \(\alpha\in\pi\), and \(A\) an algebra and a coalgebra. Then the \(\pi\)-crossed product \(A*_\sigma^\pi H\) with the trivial comultiplication is extended with a suitable comultiplication induced by the coaction of \(H\) on \(A\), where \(\sigma\colon H_1\otimes H_1\to A\) is a \(k\)-linear map. If for each \(A\otimes H_\alpha\), \((a\otimes h)(b\otimes g)=a(h_{(1,1)}b)\sigma(h_{(2,1)},g_{(1,1)})\otimes h_{(3,\alpha)}g_{(2,\alpha)}\) and \(A\otimes H_\alpha\) is associative with \(1_A\otimes 1\alpha\), then \(A\otimes H\) is called a \(\pi\)-crossed product denoted by \(A*_\sigma^\pi H\). Then the authors give necessary and sufficient conditions for the \(\pi\)-crossed product with a suitable comultiplication and counit to be a Hopf \(\pi\)-coalgebra. Moreover, let \(H\) (\(=\{H_\alpha\},\alpha\in\pi\)) be a semi-Hopf \(\pi\)-coalgebra, and \(A\) a bialgebra. Suppose that \(A*_\sigma^\pi H\) is a \(\pi\)-crossed product. Then necessary and sufficient conditions are given for \(A*_\sigma^\pi H\) with some comultiplication and counit to be a semi-Hopf \(\pi\)-coalgebra called a Hopf \(\pi\)-crossed product. Then necessary and sufficient conditions for a Hopf \(\pi\)-crossed product to be a coquasitriangular Hopf \(\pi\)-coalgebra are given, where a coquasitriangular Hopf \(\pi\)-coalgebra is defined by \textit{M. Zhu} et al., [Front. Math. China 6, No. 5, 1009-1020 (2011; Zbl 1229.16024)].