Multiplication alteration by two-cocycles: the non-associative version (Q2006687)

The authors develop non-associative versions of some Hopf algebra projections introduced by \textit{Y. Doi} and \textit{M. Takeuchi} [Commun. Algebra 22, No. 14, 5715--5732 (1994; Zbl 0821.16038)] in the Hopf algebra setting. They work over a strict symmetric monoidal category where every idempotent morphism splits. In Section 2, they list properties over non-associative bimonoids with left (right) division and give examples coming from Sabinin algebras and loop algebras. Also provide the relation between non-associative bimonoids with right division and righ Hopf quasigroups (Proposition 2.12). In Section 3, expanding the results of \textit{S. Majid} [J. Algebra 130, No. 1, 17--64 (1990; Zbl 0694.16008)] and \textit{Y. Doi} [Commun. Algebra 21, No. 5, 1731--1749 (1993; Zbl 0779.16015)], they produce new non-associative bimonoids deforming the product, using two-cocycles (Proposition 3.3 and Theorem 3.10). In Section 4, they introduced the skew pairings, and extended the construction of Doi and Takeuchi [loc. cit.]. They give the connection between skew apirings and two-cocycles for non-associative bimonoids with left division. They pointed out that in this context there is no possible to describe the Drinfeld double, since the dual of a Hopf quasigroupf is not a Hopf quasigroup. In Section 5, they introduced an special case of double cross product introduced by \textit{S. Majid} [J. Algebra 163, No. 1, 165--190 (1994; Zbl 0807.16036)], and prove that the construction of section 4 is also an example of a double cross product. In Section 6, they explore the connection between Yetter-Drinfeld modules for Hopf quasigroups, projections of Hopf quasigroups, skew pairings and quasitriangular structures.