On cross product Hopf algebras. (Q372683)

Let \(A\) and \(B\) be algebras and coalgebras in a monoidal category, and local braidings \(\psi\colon B\otimes A\to A\otimes B\) and \(\varphi\colon A\otimes B\to B\otimes A\). When \(\psi\) and \(\varphi\) satisfy some conditions, the cross product algebra \(A\#_\psi B\) and the cross product coalgebra \(A\#^\varphi B\) with underlying \(A\otimes B\) can be constructed. By considering \(A\#_\psi^\varphi B\) with underlying \(A\#_\psi B\) and \(A\#^\varphi B\), if \(A\#_\psi^\varphi B\) is a bialgebra, then it is called a cross product bialgebra. If \(A\#_\psi B\) is a cross product algebra such that \(A\) and \(B\) are augmented, then \(A\) is a left \(B\)-module and \(B\) is a right \(A\)-module. Similarly, if \(A\#^\varphi B\) is a cross product algebra such that \(A\) and \(B\) are coaugmented, then \(A\) is a left \(B\)-comodule and \(B\) is a right \(A\)-comodule.NEWLINENEWLINE The authors characterize a cross product bialgebra \(A\#_\psi^\varphi B\) in terms of the above act and coact on each other, and in terms of the local braidings \(\varphi\) and \(\psi\), respectively. Moreover, a conormal \(\psi\) and a normal \(\varphi\) are defined. Then by a normality condition, relationships are given between a cross product bialgebra and others such as a smash cross product algebra, a smash cross coproduct algebra, and the Radford biproduct. Furthermore, an appropriate projection context on a Hopf algebra is considered. Then a smash cross product Hopf algebra is characterized in terms of projections. The Sweedler Hopf algebra can be described as a smash product and coproduct Hopf algebra, and the 8-dimensional Hopf algebra can be characterized as a smash coproduct Hopf algebra.