Modules over semisymmetric quasigroups

Abstract

The class of semisymmetric quasigroups is determined by the identity (yx)y = x. We prove that the universal multiplication group of a semisymmetric quasigroup Q is free over its underlying set and then specify the pointstabilizers of an action of this free group on Q. A theorem of Smith indicates that Beck modules over semisymmetric quasigroups are equivalent to modules over a quotient of the integral group algebra of this stabilizer. Implementing our description of the quotient ring, we provide some examples of semisymmetric quasigroup extensions. Along the way, we provide an exposition of the quasigroup module theory in more general settings.

Linear aspects of equational triality in quasigroups

“…The semisymmetric universal multiplication group and stabilizer have been computed already by the author (cf. Theorems 3.6 and 3.7 of [41]).…”