Weak Hopf quasigroups (Q2520708)

The notion of Hopf algebra and its generalizations appeared as useful tools in relation with many branches of mathematics. A common principle to obtain generalizations of the original notion of Hopf algebra is to weak some of axioms of its definition. Weak Hopf algebras were introduced by Böhm, Nill and Szlachányi [\textit{G. Böhm} et al., J. Algebra 221, No. 2, 385--438 (1999; Zbl 0949.16037)] as a new generalization of Hopf algebras and groupoid algebras. The main difference with other Hopf algebraic constructions is that weak Hopf algebras are coassociative but the coproduct is not required to preserve the unit. The concept of Hopf quasigroup is a particular instance of the notion of unital coassociative \(H\)-bialgebra introduced in [\textit{J. M. Pérez-Izquierdo}, Adv. Math. 208, No. 2, 834--876 (2007; Zbl 1186.17003)], which is a generalization of Hopf algebras in the context of non-associative algebra. It includes the example of an enveloping algebra of a Malcev algebra when the base ring has characteristic not equal to \(2\) nor \(3\). The aim of the paper under review is to introduce the notion of weak Hopf quasigroup as a new Hopf algebra generalization that encompass weak Hopf algebras and Hopf quasigroups. The main properties and the fundamental theorem of Hopf modules for these algebraic structures are established. Also, a family of examples working with bigroupoids are constructed.