The antipode and the (co)invariants of a finite Hopf (co)quasigroup (Q354673)

A quasigroup is a structure with a binary product where left and right divisions are defined, and where the binary law is not assumed to be associative. With a two-sided identity it is called a loop. Hence a loop may be seen as a weakened version of a group. For any quasigroup may be defined an ``associator'' that measures the lack of associativity. A loop will be said to be quasiassociative when its associator (and all its conjugates) takes its values in the group of associative elements of the loop. As a Hopf algebra generalizes the notion of a group in the setting of a braided category, the notion of Hopf (quasiassociative) quasigroup is the natural generalization of a loop. In this paper the authors study the property of being invertible for the antipode of a Hopf quasigroup. More precisely they establish the conditions under which the antipode is an isomorphism when the ambient category has an epic-monic factorization.