Algebraic properties of quantum quasigroups

Quantum quasigroups provide a self-dual framework for the unification of quasigroups and Hopf algebras. This paper furthers the transfer program, investigating extensions to quantum quasigroups of various algebraic features of quasigroups and Hopf algebras. Part of the difficulty of the transfer program is the fact that there is no standard model-theoretic procedure for accommodating the coalgebraic aspects of quantum quasigroups. The linear quantum quasigroups, which live in categories of modules under the direct sum, are a notable exception. They form one of the central themes of the paper.From the theory of Hopf algebras, we transfer the study of grouplike and setlike elements, which form separate concepts in quantum quasigroups. From quasigroups, we transfer the study of conjugate quasigroups, which reflect the triality symmetry of the language of quasigroups. In particular, we construct conjugates of cocommutative Hopf algebras. Semisymmetry, Mendelsohn, and distributivity properties are formulated for quantum quasigroups. We classify distributive linear quantum quasigroups that furnish solutions to the quantum Yang-Baxter equation. The transfer of semisymmetry is designed to prepare for a quantization of web geometry.