Quadratic Level Quasigroup Equations With Four Variables II: the Lattice of Varieties
Quantum quasigroups and loops are self-dual objects that provide a general framework for the nonassociative extension of quantum group techniques. They also have one-sided analogues, which are not self-dual. In this paper, natural quantum versions of idempotence and distributivity are specified for these and related structures. Quantum distributive structures furnish solutions to the quantum Yang-Baxter equation.
The automorphisms of a quasigroup or Latin square are permutations of the set of entries of the square, and thus belong to conjugacy classes in symmetric groups. These conjugacy classes may be recognized as being annihilated by symmetric group class functions that belong to a -ideal of the special -ring of symmetric group class functions.
Let be a division groupoid that is not a quasigroup. For each regular cardinal we construct a quasigroup on that is a quasigroup cover of (i.e., is a homomorphic image of and is not an image of any quasigroup that is a proper factor of ). We also show how to easily obtain quasigroup covers from free quasigroups.
The aim of this paper is to prove that a quasigroup with right unit is isomorphic to an -extension of a right nuclear normal subgroup by the factor quasigroup if and only if there exists a normalized left transversal to in such that the right translations by elements of commute with all right translations by elements of the subgroup . Moreover, a loop is isomorphic to an -extension of a right nuclear normal subgroup by a loop if and only if is middle-nuclear, and there exists...